Pyrefly vs. ty: Comparing Python’s Two New Rust-Based Type Checkers | Edward Li's Blog
Earlier this month, two new Rust-based Python type checkers hit the spotlight: pyrefly and ty. Although neither is officially released, they are a welcome change to the Python type checking world, historically dominated by mypy and pylance. While both are open-source and publicly downloadable for quite some time, there have not been any official announcements by Meta nor Astral on their brand new next-generation Python type checkers — until last week. At PyCon 2025, nestled away in a quiet Room 319 at the Typing Summit, we had our first official sneak peek into both of these tools — the team behind them, their goals, visions, and ambitions — and their unique approaches to tackling Python’s typing problems. This blog is a collection of rough notes scribbled during the event, personal conversations with the team, and not-too-thorough experiments that I’ve run myself. As such, some details might be a little blurry. Also, both of these tools are still in early alpha! Please do not use this
Note: I like using em-dashes while writing! Don't worry, this is not written by AI. (context) Earlier this month, two new Rust-based Python type checkers hit the spotlight: pyrefly and ty . Although neither is officially released, they are a welcome change to the Python type checking world, historically dominated by mypy and pyright . While both are open-source and publicly downloadable for quite some time, there have not been any official announcements by Meta nor Astral on their brand new next-generation Python type checkers — until last week . At PyCon 2025 , nestled away in a quiet Room 31
Explore this link on the map →saved by
related reading
- "We're building a new static type checker for Python" | Hacker Newsnews.ycombinator.com
- How I Build — Adam Montgomerymontasaurus.com
- Rust Language Cheat Sheetcheats.rs
- TypeScript: Documentation - The Basicstypescriptlang.org
- Rewriting Bun in Rust | Bun Blogbun.com
- A half-hour to learn Rustfasterthanli.me
- Monkeytype | A minimalistic, customizable typing testmonkeytype.com
- Python, type hints, and future annotationsblog.derlin.ch
- Typst: The new foundation for documentstypst.app
- TypeScript: Documentation - TypeScript 3.7typescriptlang.org
- Python Type Annotations Full Guide | docsmissourimrr.github.io
- Type system - Wikipediaen.wikipedia.org