Skip to content
Sign in
Artwork for Happy Path Programming
Happy Path Programming · Jul 25, 2025 · 1 hr 5 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⁠⁠

0:00-1:05:20
Play in

transcript

No transcript — this publisher did not publish one.

show notes

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⁠⁠

links6

more episodes

All episodes