#114 ty: Fast Python Type Checking with Carl Meyer

About this episode

Carl Meyer discusses the ty Python type checker and the evolution of static typing in Python.

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

People in this episode

Hosts: Bruce Eckel, James Ward

Guest: Carl Meyer

Topics covered

• Python type checking
• static typing
• performance
• type systems
• Rust

Keywords

• Python
• type checker
• static typing
• performance
• Rust
• type systems

Mentioned in this episode

Organizations: Astral, Ruff, uv, Rust, Zig

Products: Roc compiler

More episodes of Happy Path Programming

• #120 Aver AI-Native Programming Language with Szymon Teżewski · June 2, 2026 · 1h 10m
• #119 FP Reaches the Masses with Paul Snively · January 24, 2026 · 1h 29m
• #118 Effects of 2025 · January 2, 2026 · 1h 12m
• #117 Special Episode: Entering Computer Science as a New Graduate · November 18, 2025 · 1h 12m
• #116 Infrastructure as Effects with Sam Goodwin · September 19, 2025 · 59 min
• #115 More Python Type Checking! Pyrefly with Aaron Pollack & Steven Troxler · August 11, 2025 · 1h 2m