Get the latest tech news
Pyrefly vs. Ty: Comparing Python's two new Rust-based type checkers
A deep dive into Meta's pyrefly and Astral's ty - two new Rust-based Python type checkers that both promise faster performance and better type inference.
pyrefly introduction presentation ty is also a Rust-based Python type checker currently under development by Astral, the team behind uv and ruff. Compared to Meta, Astral is a lot more quiet on its announcement: just a soft launch on GitHub, a quick 30-minute presentation, and a couple of blog articles as podcasts here and there. I strongly suspect the features and capabilities of both tools will converge as time goes on, but nevertheless, it is still cool to see where the two type checkers are at now and how they might come into play in different scenarios sometime in the future.
Or read this on Hacker News