Google adopts Meta's Pyrefly as primary Python type checker

Google has officially transitioned its Python type-checking infrastructure from the internally developed Pytype to Pyrefly, an open-source tool created by Meta. This move addresses the maintenance challenges of Pytype's bytecode-based analysis and provides significant speedups for developers. The switch has resulted in up to 98% faster incremental rebuilds and substantial reductions in build-system compute usage.

Technical advantages of Pyrefly over Pytype

• Performance: Written in Rust, Pyrefly uses lazy, parallel evaluation to achieve an order of magnitude faster throughput than Pytype.
• Type Safety: Unlike Pytype, Pyrefly enforces sound union checking (e.g., rejecting int | None when an int is required).
• Analysis Method: Moves away from bytecode analysis used by Pytype toward modern AST-based approaches to better support recent Python PEPs.
• Diagnostics: Provides Rust-style compiler diagnostics with inline annotations and suggested fixes.
• Efficiency: Google reported up to 98% reduction in incremental rebuild latency and over 80% savings in peak compute hardware occupancy.

Why it matters

The adoption demonstrates the growing importance of high-performance, Rust-based open-source tooling in large-scale industrial Python environments.