Pyrefly et ty : apparition de deux nouveaux vérificateurs de types Python basés sur Rust
À la PyCon 2025, Pyrefly de Meta et ty d'Astral, deux nouveaux vérificateurs de types Python basés sur Rust, ont fait leurs débuts. Pyrefly vise à être plus rapide, plus portable et plus performant que son prédécesseur, tout en s'engageant activement auprès de la communauté open source. ty met l'accent sur une « garantie progressive », ce qui signifie que la suppression d'annotations de type ne devrait pas entraîner d'erreurs de type. Les deux utilisent Ruff pour l'analyse AST et offrent une intégration en ligne de commande et IDE. Les benchmarks ont montré que ty est généralement plus rapide, mais ils diffèrent en termes d'inférence de type et de gestion des erreurs. Pyrefly est plus agressif, pouvant détecter plus d'erreurs, mais aussi introduire plus de faux positifs ; ty est plus conservateur, privilégiant la compatibilité du code. Les deux sont en version alpha précoce, et leur évolution future est passionnante à suivre.
Lire plus