Meta’s Pyrefly Rust type checker reaches stable 1.0 release

Meta’s Pyrefly crossed a line Rust developers have been watching closely: a language built for systems work is now powering the fast, everyday machinery of Python engineering at scale. Pyrefly 1.0.0 went stable on May 12, giving Meta a Rust-written type checker and language server that it says is already the default checker for Instagram and in use across PyTorch, NumPy, Pandas stubs and JAX.

The project’s roots go back to 2017, when Meta set out to build a type checker for Instagram’s typed Python codebase. That effort became Pyre, and Pyrefly is the clean-slate rewrite in Rust, built to improve scale and IDE responsiveness. It first shipped as an alpha in mid-2025, reached beta in November 2025, and has since picked up more than 60 minor releases, with Meta saying the team fixed hundreds of bugs and kept improving performance and functionality before calling it production ready.

The headline numbers explain why Meta is pushing it so hard. Pyrefly’s website says it can type check more than 1.85 million lines of code per second on Meta infrastructure. In the v1.0 release notes, Meta says a full type check on PyTorch is now 34% faster than it was at beta, incremental editor updates can be as much as 125 times faster, and diagnostics after an edit on PyTorch now update in 19 milliseconds instead of 2.4 seconds.

That puts Pyrefly in the same conversation as the Rust tooling many developers already know from daily use. If Ruff showed how Rust could reshape Python linting, Pyrefly is making the case for Rust in the heavier, more timing-sensitive job of type checking and IDE feedback. This is the kind of tooling where speed is not a vanity metric. It changes whether a checker feels like part of the editor or a barrier between a developer and the next keystroke.

The new release also adds automatic config synthesis for mypy and pyright users, plus a lightweight basic preset for projects that do not yet have a type-checker config. Meta says the Pyrefly IDE extension is the most downloaded extension on Open VSX, which fits the shape of the release: not just a backend win, but a Rust engine meant to make Python feel live as you type. After more than 60 minor releases, Pyrefly’s stable debut is less a ribbon-cutting than a proof point, and Rust now sits underneath another large-scale workflow where every millisecond matters.