25 juli 2025
65 min
#114 ty: Fast Python Type Checking with Carl Meyer
Carl Meyer works on the ty Python type checker, built in Rust by Astral the creators of Ruff and uv. We chat about type systems, the evolution of static typing in Python, and the focus on performance.
Resources:
Richard Feldman: Roc compiler moving from Rust to Zig
Discuss this episode: discord.gg/XVKD2uPKyF
Lyssna på fler avsnitt från
Happy Path Programming
Visar 1–10 av 119 avsnitt
3 augusti 2026
#121 Effect Oriented Python with Sune Debel
67 min
2 juni 2026
#120 Aver AI-Native Programming Language with Szymon Teżewski
70 min
24 januari 2026
#119 FP Reaches the Masses with Paul Snively
89 min
2 januari 2026
#118 Effects of 2025
72 min
18 november 2025
#117 Special Episode: Entering Computer Science as a New Graduate
72 min
19 september 2025
#116 Infrastructure as Effects with Sam Goodwin
59 min
11 augusti 2025
#115 More Python Type Checking! Pyrefly with Aaron Pollack & Steven Troxler
62 min
21 juli 2025
#113 Graph & RAG with Jennifer Reif
65 min
2 juli 2025
#112 AI Agents Get More 9's with Rod Johnson
74 min
10 april 2025
#111 Wasm & MCP with Steve Manuel
51 min