#114

Published: 25 July 2025
on channel: Happy Path Programming

Carl Meyer ( / carljm ) works on the ty (https://docs.astral.sh/ty/) Python type checker, built in Rust by Astral the creators of Ruff (https://docs.astral.sh/ruff/) and uv (https://docs.astral.sh/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 (https://gist.github.com/rtfeldman/77f...)

Discuss this episode: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠discord.gg/XVKD2uPKyF⁠⁠ ( / discord )

On this page of the site you can watch the video online #114 with a duration of hours minute second in good quality, which was uploaded by the user Happy Path Programming 25 July 2025, share the link with friends and acquaintances, this video has already been watched 96 times on youtube and it was liked by 1 viewers. Enjoy your viewing!

318