Episode from the podcast Happy Path Programming
Episode
Released Monday, August 11th 2025 1 hr 2 min
Show notes
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
1 hr 8 min
We chat with Barry Warsaw, one of the core Python maintainers.In the episode we mention the late Tim Peters who had a significant impact on Python and we are grateful for all his contributions. https://www.bratleyfamilyfuneralhomes.com/obituary/timothy-peters
1 hr 7 min
In this episode we chat with Sune Debel about his Stateless library which brings Effect Oriented Programming to Python.https://github.com/suned/statelessPrior attempt at at Scala ZIO port to Python:https://github.com/suned/pfun
1 hr 10 min
We dive into the new Aver programming language with its creator, Szymon Teżewski: The AI-native language where code explains itself.Aver is a language where every function carries its intent, side effects are visible in the type system, and tests are executable specs next to the code. The optimization target is the reviewer, not the generator.Resources:- Aver: https://averlang.dev/- Agent Languages: https://agentlanguages.dev/ Discuss this episode: discord.gg/XVKD2uPKyF
1 hr 29 min
We chat with Paul Snively (https://x.com/JustDeezGuy) about how Functional Programming has gone mainstream.Resources- Winter Tech Forum - https://www.wintertechforum.com- Paul Snively's LambdaConf Talk on Verse - https://www.youtube.com/watch?v=VBT0j14rn5c- Paul Snively's Blog Post on the Verse Calculus - https://paul-snively.github.io/posts/2022-12-15-verse-calculus.html- Eugenio Moggi, "Notions of Computation and Monads" (1991) - https://www.cs.cmu.edu/~crary/819-f09/Moggi91.pdf- "Implementing Lazy Functional Languages on Stock Hardware: The Spineless Tagless G-machine"** by Simon Peyton Jones - https://www.microsoft.com/en-us/research/wp-content/uploads/1992/04/spineless-tagless-gmachine.pdf- The Verse Calculus Paper - https://simon.peytonjones.org/verse-calculus/- "How to Solve It" by George Pólya - https://press.princeton.edu/books/paperback/9780691164076/how-to-solve-it- Fidelity Framework - https://github.com/FidelityFramework- Happy Path Programming Episode #37 from Aug 14, 2021 "The Future of Everything with Paul Snively" - https://open.spotify.com/episode/62iyGUUwh5CBkxkDpJmUuoDiscuss this episode: https://discord.gg/XVKD2uPKyF
1 hr 11 min
Bruce & James recap the technology shifts of 2025 and look ahead to what may be ahead in 2026. Resources: Register for the Winter Tech Forum (March 2-6 2026 in Crested Butte, Colorado)The Eternal Return of Abstraction: Why Programming Was Never About CodeThinking in Typesjavadocs.devWhat's New in EmbabelDiscuss this episode: discord.gg/XVKD2uPKyF
This podcast, its content and its artwork are not owned by, affiliated with, or endorsed by Castquire.
Up next