technologyJul 25, 20251:05:20pending
#114 ty: Fast Python Type Checking with Carl Meyer
About this episode
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
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
Aug 3, 20261:07:26pending
#120 Aver AI-Native Programming Language with Szymon Teżewski
Happy Path Programming
Jun 2, 20261:10:27pending
#119 FP Reaches the Masses with Paul Snively
Happy Path Programming
Jan 24, 20261:29:16pending
#118 Effects of 2025
Happy Path Programming
Jan 2, 20261:11:48pending