Pyrefly y ty: Surgen dos nuevos verificadores de tipos Python basados en Rust

En PyCon 2025, Pyrefly de Meta y ty de Astral, dos nuevos verificadores de tipos Python basados en Rust, hicieron su debut. Pyrefly apunta a ser más rápido, más portátil y más capaz que su predecesor, mientras que se involucra activamente con la comunidad de código abierto. ty enfatiza una "garantía gradual", lo que significa que eliminar anotaciones de tipo no debería causar errores de tipo. Ambos utilizan Ruff para el análisis de AST y ofrecen integración de línea de comandos e IDE. Los benchmarks mostraron que ty es generalmente más rápido, pero difieren en la inferencia de tipos y el manejo de errores. Pyrefly es más agresivo, potencialmente detectando más errores pero también introduciendo más falsos positivos; ty es más conservador, priorizando la compatibilidad del código. Ambos están en alfa temprana, y su evolución futura es emocionante de observar.