SE Radio 725: Danny Yang and Sam Goldman on the Pyrefly Type Checker – Software Engineering Radio
Search
Menu
Search
Search
Search
Menu
Follow me:<br>Twitter
YouTube
Search
Search
Search
Menu
June 18, 2026
SE Radio 725: Danny Yang and Sam Goldman on the Pyrefly Type Checker
Listen on:<br>Apple
Spotify
YouTube
Amazon
Deezer
Player FM
Podurama
PodBean
RSS
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.
Related Episodes
SE Radio 622: Wolf Vollprecht on Python Tooling in Rust
SE Radio 589: Zac Hatfield-Dodds on Property-Based Testing in Pytho
SE Radio 516: Brian Okken on Testing in Python with pytest
SE Radio 676: Samuel Colvin on the Pydantic Ecosystem
Other References
Pyrefly Web: Pyrefly: A Fast Python Type Checker and Language Server
Blog Post: Introducing Pyrefly: A new type checker and IDE experience for Python
Github – pyrefly: A fast type checker and language server for Python
Conformance of Type Checkers: How Well Do New Python Type Checkers Conform? A Deep Dive into Ty, Pyrefly, and Zuban — Rob’s Blog | Python • Rust • Ramblings?
Python Type Checker Comparison: Empty Container Inference
Making Pyrefly Diagnostics 18x Faster
Lessons from Pyre that Shaped Pyrefly
Tagged as:language server protocollintingpythonQuality Assurancestatic analysistype checking
Join the discussion<br>You must be logged in to post a comment.
Sign Up for Updates<br>SE Radio Alerts
Pioneering ideas
Expert analysis
Thoughtful insights
Helping software professionals keep pace with technology changes.
IEEE Software. translating software theory into practice.
www.computer.org/software
Proud publisher of SE Radio.
Popular Tags<br>agile<br>ai<br>api<br>architecture<br>c#<br>cloud<br>compilers<br>concurrency<br>database<br>databases<br>design<br>devops<br>distributed systems<br>Docker<br>domain-driven design<br>garbage collection<br>IEEE Computer Society<br>ieeecs<br>infrastructure<br>Interview<br>java<br>JavaScript<br>kubernetes<br>languages<br>machine learning<br>microservices<br>monitoring<br>networking<br>open source<br>patterns<br>performance<br>podcast<br>processes<br>programming languages<br>python<br>ruby<br>Rust<br>scalability<br>SE-Radio<br>security<br>SE Radio<br>SQL<br>Technology/Guest<br>Technology Talk<br>testing
More from this show
SE Radio 724: Jure Leskovec on Relational Graph and Foundational Models
Jure Leskovec, Professor of Computer Science at Stanford University and Chief Scientist at Kumo.ai, speaks with host Sriram Panyam about...
Play episode
SE Radio 723: Dave Airlie on Linux Kernel Maintenance
Dave Airlie, a Distinguished Engineer at Red Hat, speaks with host Gregory M. Kapfhammer about Linux kernel maintenance. After over-viewing...
Play episode
SE Radio 722: Dwayne McDaniel on the Engineering Challenges of Secrets Management
Dwayne McDaniel, developer advocate at GitGuardian.com, joins host Priyanka Raghavan to talk about the engineering challenges of secrets...
Play episode
Menu
Recent posts
SE Radio 725: Danny Yang and Sam Goldman on the Pyrefly Type Checker<br>June 18, 2026
SE Radio 724: Jure Leskovec on Relational Graph and Foundational Models<br>June 10, 2026
SE Radio 723: Dave Airlie on Linux Kernel Maintenance<br>June 3, 2026