Carl Meyer

Carl Meyer has been a guest on Happy Path Programming once, joining Bruce and James to discuss “ty: Fast Python Type Checking with Carl Meyer”.

Visit website →

Appearances

#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

Python Rust Types

🗓 Jul 25, 2025⏱ 1h 05m