Episode
SE Radio 725: Danny Yang and Sam Goldman on the Pyrefly Type Checker
Software Engineering Radio - the podcast for professional software developers · Jun 18, 2026 · 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…