Pyrefly e ty: Dois novos verificadores de tipos Python baseados em Rust surgem
Na PyCon 2025, o Pyrefly do Meta e o ty do Astral, dois novos verificadores de tipos Python baseados em Rust, fizeram sua estreia. O Pyrefly visa ser mais rápido, mais portátil e mais capaz do que seu predecessor, enquanto se envolve ativamente com a comunidade de código aberto. O ty enfatiza uma "garantia gradual", significando que a remoção de anotações de tipo não deve causar erros de tipo. Ambos utilizam o Ruff para análise de AST e oferecem integração de linha de comando e IDE. Benchmarks mostraram o ty geralmente mais rápido, mas eles diferem na inferência de tipo e no tratamento de erros. O Pyrefly é mais agressivo, potencialmente detectando mais erros, mas também introduzindo mais falsos positivos; o ty é mais conservador, priorizando a compatibilidade do código. Ambos estão em alfa inicial, e sua evolução futura é emocionante de se observar.
Leia mais