SE Radio 725: Danny Yang and Sam Goldman on the Pyrefly Type Checker
About this episode
Danny Yang and Sam Goldman discuss the Pyrefly type checker for Python, its implementation, and comparisons with other type checkers.
Danny Yang and Sam Goldman, both Software Engineers at Meta, speak with host Gregory M. Kapfhammer about the Rust-based Pyrefly type checker for Python. After a look at the foundational concepts for annotating and checking types for Python programs, Danny and Sam present a deep dive of the implementation of Pyrefly. While comparing and contrasting against various type checkers, they also describe how Pyrefly implements the language server protocol (LSP) for Python. The episode explores a range of other topics, including how to balance the features, performance, and language integrations of a type checker.
More episodes of Software Engineering Radio - the podcast for professional software developers
- SE Radio 729: Garth Mollett on AI Supply Chain Security
- SE Radio 728: Clare Liguori on AWS Strands SDK for AI Agents
- SE Radio 727: Jeroen Janssens and Thijs Nieuwdorp on Using Polars
- SE Radio 726: Scott Kingsley on the Swagger Ecosystem
- SE Radio 724: Jure Leskovec on Relational Graph and Foundational Models
- SE Radio 723: Dave Airlie on Linux Kernel Maintenance
Explore listener stats, chart rankings, contacts and more on the Software Engineering Radio - the podcast for professional software developers podcast page.