Episode from the podcastHappy Path Programming

#114 ty: Fast Python Type Checking with Carl Meyer

Released Friday, 25th July 2025

Good episode? Give it some love!

#114 ty: Fast Python Type Checking with Carl Meyer

Friday, 25th July 2025

Good episode? Give it some love!

Rate Episode

List

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

Rate

List

Get this podcast via API

From The Podcast

No-frills discussions between Bruce Eckel and James Ward about programming, what it is, and what it should be.Buy the Happy Path Programming t-shirt: https://happy-path.printify.me/products

Join Podchaser to...

Rate podcasts and episodes
Follow podcasts and creators
Create podcast and episode lists
& much more

Do you host or manage this podcast?
Claim and edit this page to your liking.