Danny Yang and Sam Goldman, each Software program Engineers at Meta, converse with host Gregory M. Kapfhammer concerning the Rust-based Pyrefly sort checker for Python. After a take a look at the foundational ideas for annotating and checking sorts for Python packages, Danny and Sam current a deep dive of the implementation of Pyrefly. Whereas evaluating and contrasting towards numerous sort checkers, additionally they describe how Pyrefly implements the language server protocol (LSP) for Python. The episode explores a spread of different matters, together with the best way to steadiness the options, efficiency, and language integrations of a sort checker.
Associated Episodes
- SE Radio 622: Wolf Vollprecht on Python Tooling in Rust
- SE Radio 589: Zac Hatfield-Dodds on Property-Primarily based Testing in Pytho
- SE Radio 516: Brian Okken on Testing in Python with pytest
- SE Radio 676: Samuel Colvin on the Pydantic Ecosystem
Different References
- Pyrefly Internet: Pyrefly: A Quick Python Kind Checker and Language Server
- Weblog Publish: Introducing Pyrefly: A brand new sort checker and IDE expertise for Python
- Github – pyrefly: A quick sort checker and language server for Python
- Conformance of Kind Checkers: How Effectively Do New Python Kind Checkers Conform? A Deep Dive into Ty, Pyrefly, and Zuban — Rob’s Weblog | Python • Rust • Ramblings?
- Python Kind Checker Comparability: Empty Container Inference
- Making Pyrefly Diagnostics 18x Quicker
- Classes from Pyre that Formed Pyrefly