#115 More Python Type Checking! Pyrefly with Aaron Pollack & Steven Troxler
From Happy Path Programming by Bruce Eckel & James Ward
August 11, 2025 · 1h 2m · Season 1 · Episode 115
About this episode
The episode discusses the evolution of Python type checking with guests Aaron Pollack and Steven Troxler, focusing on the Pyrefly tool.
Excitement around Python type checking continues to grow and the tools continue to evolve. We chat with Aaron Pollack and Steven Troxler about Pyrefly - a Rust-based Python type checker and IDE extension. We also touch on the adoption and sentiment around types in Python's ecosystem.Resources: Pyrefly Discord Package Type Coverage Report Packages being tracked for moving types from typeshed to the source project Typing Survey Slides Blog post with survey analysis Python typing community forum MCP Pyrefly Discuss this episode: discord.gg/XVKD2uPKyF
People in this episode
Hosts: Bruce Eckel, James Ward
Guests: Aaron Pollack, Steven Troxler
Topics covered
- Python type checking
- Pyrefly
- Rust-based tools
- IDE extensions
- Python ecosystem
- type adoption
- typing survey
Keywords
- Python
- type checking
- Pyrefly
- Rust
- IDE
- type adoption
- typing survey
- typeshed
- community forum
Mentioned in this episode
Organizations: Python, typeshed, MCP, Python typing community forum
Products: Pyrefly
More episodes of Happy Path Programming
- #120 Aver AI-Native Programming Language with Szymon Teżewski · June 2, 2026 · 1h 10m
- #119 FP Reaches the Masses with Paul Snively · January 24, 2026 · 1h 29m
- #118 Effects of 2025 · January 2, 2026 · 1h 12m
- #117 Special Episode: Entering Computer Science as a New Graduate · November 18, 2025 · 1h 12m
- #116 Infrastructure as Effects with Sam Goodwin · September 19, 2025 · 59 min
- #114 ty: Fast Python Type Checking with Carl Meyer · July 25, 2025 · 1h 5m
Explore listener stats, chart rankings, contacts and more on the Happy Path Programming podcast page.