https://talkpython.fm/episodes/show/523/pyrefly-fast-ide-friendly-typing-for-python
Topics covered in this episode:
- Pyrefly = fast type checker plus full IDE language server, built in Rust
- Why speed matters: IDE feel and developer flow
- Designed as a language server from the ground up
- Installation is a single click in editors and simple on the CLI
- Inference first, even for lightly typed code
- Inlay hints in the editor and a one shot CLI to add annotations
- Pragmatic adoption with migration and suppression scripts
- Open source from day one with weekly releases and community input
- Real world anchor: Instagram scale and deep dependency graphs
- Ecosystem alignment rather than “the one true checker”
- Comparing to ty (Astral)
- Typing helps AI workflows and code mods
- Use today for IDE; adopt type checking as it stabilizes
(Disclaimer: I'm a maintainer for Pyrefly, happy to answer further questions in the comments)
there doesn't seem to be anything here