In recent months, two new Rust-based type checkers for Python, Pyrefly and Ty, have emerged as promising alternatives to established tools like Mypy and Pyright. Both of these type checkers aim to enhance speed and type inference capabilities, catering to the growing demand for efficient and responsive type checking in Python codebases.
Pyrefly is developed by Meta and is specifically crafted to deliver high performance by handling around 1.8 million lines of code per second. Written entirely in Rust, Pyrefly aims to eventually replace the OCaml-based Pyre, particularly within Instagram’s extensive codebase. One of Pyrefly’s standout features is its ability to support unannotated code through implicit type inference, accommodating developers by offering flexibility in code annotation. Additionally, Pyrefly includes incremental type checking and provides a VS Code extension to enhance user experience, making it a robust option for developers working on Python projects.
On the other hand, Ty brings forward unique methods for improving type checking efficiencies. While both Pyrefly and Ty are still in alpha, they maintain distinct approaches to interpret Python’s dynamic typing by introducing features like generics, intersection and negation types, and sophisticated error messages. Ty primarily emphasizes optimizing speed benchmarks and offering alternatives in type checking methodologies.
Although these tools are in early development stages, they exhibit immense potential to refine the process of type checking in Python applications. By harnessing the power of Rust, Pyrefly and Ty are poised to address current challenges faced by Python developers, ensuring more reliable and swift code analysis.

Collections

Pyrefly and Ty are two new Rust-based type checkers for Python, offering alternatives to existing tools like Mypy and Pyright. Pyrefly, developed by Meta, is designed for high-speed operation and can handle large codebases, while Ty introduces unique type checking methodologies. Both tools aim to improve efficiency and flexibility in Python type inference and are still in their alpha stages.

Exploring Pyrefly and Ty: Rust-Based Type Checkers for Python