#115 More Python Type Checking! Pyrefly with Aaron Pollack & Steven Troxler
About this episode
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
Get every episode summarized
Each time Happy Path Programming publishes, we email you a written briefing from the transcript — the topics, who appeared, and any specific claims, with the ad reads skipped.
Email me new episodesFree for 3 shows. No card needed.
Hosts & guests
No transcript yet
This episode has not been transcribed. Request it and it moves to the front of the queue.
More episodes
More from Happy Path Programming
#121 Effect Oriented Python with Sune Debel
Happy Path Programming
#120 Aver AI-Native Programming Language with Szymon Teżewski
Happy Path Programming
#119 FP Reaches the Masses with Paul Snively
Happy Path Programming
#118 Effects of 2025
Happy Path Programming