#114 ty: Fast Python Type Checking with Carl Meyer

https://is1-ssl.mzstatic.com/image/thumb/Podcasts124/v4/9b/e2/50/9be25082-6dfb-03d7-0251-c52ea98d0bed/mza_12609357682349939355.jpg/600x600bb.jpg

Happy Path Programming

Bruce Eckel & James Ward

115 episodes

1 week ago

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

Technology

RSS

All content for Happy Path Programming is the property of Bruce Eckel & James Ward and is served directly from their servers with no modification, redirects, or rehosting. The podcast is not affiliated with or endorsed by Podjoint in any way.

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

Technology

https://d3t3ozftmdmh3i.cloudfront.net/production/podcast_uploaded_nologo/7757384/7757384-1601046108586-79514e38ac054.jpg

#114 ty: Fast Python Type Checking with Carl Meyer

Happy Path Programming

1 hour 5 minutes 20 seconds

3 months ago

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