DiscoverHappy Path Programming#114 ty: Fast Python Type Checking with Carl Meyer
#114 ty: Fast Python Type Checking with Carl Meyer

#114 ty: Fast Python Type Checking with Carl Meyer

Update: 2025-07-25
Share

Description

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

Comments 
00:00
00:00
x

0.5x

0.8x

1.0x

1.25x

1.5x

2.0x

3.0x

Sleep Timer

Off

End of Episode

5 Minutes

10 Minutes

15 Minutes

30 Minutes

45 Minutes

60 Minutes

120 Minutes

#114 ty: Fast Python Type Checking with Carl Meyer

#114 ty: Fast Python Type Checking with Carl Meyer

Bruce Eckel & James Ward