Pyrefly و ty: ظهور اثنين من مدققين أنواع Python الجديدين القائمين على Rust

في مؤتمر PyCon 2025، ظهر كل من Pyrefly من Meta و ty من Astral، وهما اثنان من مدققين أنواع Python الجديدين القائمين على Rust. يهدف Pyrefly إلى أن يكون أسرع وأكثر قابلية للنقل وأكثر قدرة من سابقه، بينما ينخرط بنشاط مع مجتمع المصدر المفتوح. يشدد ty على "الضمان التدريجي"، مما يعني أن إزالة تعليقات الأنواع لا ينبغي أن تسبب أخطاء الأنواع. يستخدم كلاهما Ruff لتحليل AST ويقدمان تكامل سطر الأوامر و IDE. أظهرت معايير الأداء أن ty أسرع بشكل عام، لكنهما يختلفان في استنتاج النوع ومعالجة الأخطاء. Pyrefly أكثر عدوانية، مما قد يؤدي إلى اكتشاف المزيد من الأخطاء، ولكنه قد يقدم أيضًا المزيد من الإيجابيات الكاذبة ؛ ty أكثر تحفظًا، ويعطي الأولوية لتوافق الكود. كلاهما في مرحلة ألفا مبكرة، وتطورهما المستقبلي مثير للمشاهدة.