Meta Open-Sources Pyrefly: A High-Performance Python Type Checker

Pyrefly is a new open-source Python type checker developed by Meta, designed in Rust to deliver exceptional performance and scalability for large Python codebases. It aims to replace the OCaml-based Pyre type checker previously used for Instagram's codebase, achieving significant speed improvements, such as checking the entire Instagram codebase in 13.4 seconds compared to over 100 seconds with Pyre. Pyrefly can process 1.8 million lines of code per second, making real-time typechecking feasible and providing instant IDE feedback with strong type inference. The tool supports unannotated code by inferring types for return values and local variables, and offers enhanced IDE integration through a Visual Studio Code extension. Pyrefly's performance outshines competitors like Pyright and MyPy, as evidenced by its ability to typecheck the PyTorch codebase in just 2.4 seconds. Meta emphasizes open-source collaboration and invites community contributions, while tools like SSOJet can enhance Pyrefly's capabilities with secure SSO and user management solutions.