InfoQ - Type Inference https://www.infoq.com InfoQ Type Inference feed Meta Open-Sources Pyrefly, a High-Performance Python Type Checker in Rust https://www.infoq.com/news/2025/05/meta-pyrefly-python-typechecker/?utm_campaign=infoq_content&utm_source=infoq&utm_medium=feed&utm_term=Type+Inference <img src="https://www.infoq.com/styles/static/images/logo/logo_bigger.jpg"/><p>Currently in alpha, Pyrefly is a new open-source Python type checker developed by Meta in Rust for maximum performance. Inspired by tools like Pyre, Pyright, and MyPy, Pyrefly is intended to replace the OCaml-based Pyre type checker previously used for Instagram's codebase.</p> <i>By Sergio De Simone</i> Compilers Type Inference Python Facebook Open Source Programming Languages Development news Tue, 27 May 2025 17:00:00 GMT https://www.infoq.com/news/2025/05/meta-pyrefly-python-typechecker/?utm_campaign=infoq_content&utm_source=infoq&utm_medium=feed&utm_term=Type+Inference Sergio De Simone 2025-05-27T17:00:00Z /news/2025/05/meta-pyrefly-python-typechecker/en