Software Engineering Radio · 2026-06-18 · 55 min
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.
SE Radio 726: Scott Kingsley on the Swagger Ecosystem65 / 100SE Radio 724: Jure Leskovec on Relational Graph and Foundational ModelsSE Radio 723: Dave Airlie on Linux Kernel MaintenanceSE Radio 722: Dwayne McDaniel on the Engineering Challenges of Secrets ManagementSE Radio 721: Rob Moffat on Risk-First Software Development