Danny Yang and Sam Goldman, each Software program Engineers at Meta, communicate with host Gregory M. Kapfhammer in regards to the Rust-based Pyrefly sort checker for Python. After a have a look at the foundational ideas for annotating and checking varieties for Python applications, Danny and Sam current a deep dive of the implementation of Pyrefly. Whereas evaluating and contrasting towards numerous sort checkers, in addition they describe how Pyrefly implements the language server protocol (LSP) for Python. The episode explores a spread of different subjects, 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 Sort Checker and Language Server
- Weblog Submit: 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 Sort Checkers: How Properly Do New Python Sort Checkers Conform? A Deep Dive into Ty, Pyrefly, and Zuban — Rob’s Weblog | Python • Rust • Ramblings?
- Python Sort Checker Comparability: Empty Container Inference
- Making Pyrefly Diagnostics 18x Quicker
- Classes from Pyre that Formed Pyrefly
