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

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

Update: 2025-08-11
Share

Description

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:

Discuss this episode: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠discord.gg/XVKD2uPKyF⁠⁠

Comments 
In Channel
#116 Infrastructure as Effects with Sam Goodwin

#116 Infrastructure as Effects with Sam Goodwin

2025-09-1958:57

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

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

2025-08-1101:02:12

#114 ty: Fast Python Type Checking with Carl Meyer

#114 ty: Fast Python Type Checking with Carl Meyer

2025-07-2501:05:20

#113 Graph & RAG with Jennifer Reif

#113 Graph & RAG with Jennifer Reif

2025-07-2101:05:27

#112 AI Agents Get More 9's with Rod Johnson

#112 AI Agents Get More 9's with Rod Johnson

2025-07-0201:14:29

#111 Wasm & MCP with Steve Manuel

#111 Wasm & MCP with Steve Manuel

2025-04-1051:09

#110 Unlocking Developer Productivity with Justin Reock

#110 Unlocking Developer Productivity with Justin Reock

2025-04-0901:05:04

#109 AI, LLMs, and MCP with Lize Raes

#109 AI, LLMs, and MCP with Lize Raes

2025-02-2101:12:57

#108 Winter Tech Forum and Current Projects

#108 Winter Tech Forum and Current Projects

2025-01-3043:58

#107 The Joy of Programming with Dave Thomas

#107 The Joy of Programming with Dave Thomas

2024-12-3001:09:49

#106 Agile Organizations with Jutta Eckstein

#106 Agile Organizations with Jutta Eckstein

2024-12-0301:04:04

#105 Nathan Sobo's Pursuit of the Ultimate Code Editor

#105 Nathan Sobo's Pursuit of the Ultimate Code Editor

2024-10-1301:23:16

#104 Effect Oriented Programming: The Book

#104 Effect Oriented Programming: The Book

2024-10-0758:21

#103 AI Augmented Programming with ⁠⁠Stephan Janssen⁠⁠

#103 AI Augmented Programming with ⁠⁠Stephan Janssen⁠⁠

2024-08-2001:07:54

#102 Gathering Nerds and Java Gatherers with Venkat Subramaniam

#102 Gathering Nerds and Java Gatherers with Venkat Subramaniam

2024-08-1752:33

#101 Effects and Local-First with Johannes Schickling

#101 Effects and Local-First with Johannes Schickling

2024-07-0701:13:10

#100 Thinking about Thinking with Diana Montalion

#100 Thinking about Thinking with Diana Montalion

2024-06-1801:31:57

#99 The Agile Illusion with Trond Hjorteland

#99 The Agile Illusion with Trond Hjorteland

2024-06-1055:54

#98 Continuous Deployment with Valentina Servile

#98 Continuous Deployment with Valentina Servile

2024-04-2101:06:04

#97 The Pkl Configuration Language with Philip Hölzenspies

#97 The Pkl Configuration Language with Philip Hölzenspies

2024-04-0501:14:36

loading
Google Play
Download from Google Play
Castbox
Download from App Store
usUnited States
00:00
00:00
1.0x

0.5x

0.8x

1.0x

1.25x

1.5x

2.0x

3.0x

Sleep Timer

Off

End of Episode

5 Minutes

10 Minutes

15 Minutes

30 Minutes

45 Minutes

60 Minutes

120 Minutes

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

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

Bruce Eckel & James Ward