Startseite
Podcasts
Software Engineering Radio - The Podcast for Professional Software Developers Podcast
SE Radio 725: Danny Yang and Sam Goldman on the Pyrefly Type Checker

SE Radio 725: Danny Yang and Sam Goldman on the Pyrefly Type Checker

Software Engineering Radio - The Podcast for Professional Software Developers vor 3 Monaten

0:00

54:51

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.