Happy Path Programming

#115 More Python Type Checking! Pyrefly with Aaron Pollack & Steven Troxler

August 11, 2025·1h 2m
Episode Description from the Publisher

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 DiscordPackage Type Coverage ReportPackages being tracked for moving types from typeshed to the source projectTyping Survey SlidesBlog post with survey analysisPython typing community forumMCP PyreflyDiscuss this episode: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠discord.gg/XVKD2uPKyF⁠⁠

Podzilla Summary coming soon

Sign up to get notified when the full AI-powered summary is ready.

Get Free Summaries →

Free forever for up to 3 podcasts. No credit card required.

Listen to This Episode

Get summaries like this every morning.

Free AI-powered recaps of Happy Path Programming and your other favorite podcasts, delivered to your inbox.

Get Free Summaries →

Free forever for up to 3 podcasts. No credit card required.