#114 ty: Fast Python Type Checking with Carl Meyer

<p><a href="https://www.linkedin.com/in/carljm/" target="_blank" rel="ugc noopener noreferrer">Carl Meyer</a> works on the <a href="https://docs.astral.sh/ty/" target="_blank" rel="ugc noopener noreferrer">ty</a> Python type checker, built in Rust by Astral the creators of <a href="https://docs.astral.sh/ruff/" target="_blank" rel="ugc noopener noreferrer">Ruff</a> and <a href="https://docs.astral.sh/uv/" target="_blank" rel="ugc noopener noreferrer">uv</a>. We chat about type systems, the evolution of static typing in Python, and the focus on performance.</p><p>Resources:</p><p><a href="https://gist.github.com/rtfeldman/77fb430ee57b42f5f2ca973a3992532f" target="_blank" rel="ugc noopener noreferrer">Richard Feldman: Roc compiler moving from Rust to Zig</a></p><p><br /></p><p>Discuss this episode: ⁠⁠⁠⁠<a href="https://discord.gg/XVKD2uPKyF" rel="ugc noopener noreferrer" target="_blank">⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠discord.gg/XVKD2uPKyF⁠⁠</a></p>