Carl Meyer
Python community member and Astral employee working on the TY type checker. Previously maintained PIP and VirtualEnv and was on the Django core team.
Best podcasts with Carl Meyer
Ranked by the Snipd community
92 snips
May 19, 2025 • 1h 4min
#506: ty: Astral's New Type Checker (Formerly Red-Knot)
Charlie Marsh, the founder of Astral, and Carl Meyer, a Python community member and Astral employee, delve into their exciting new type checker, TY. Formerly known as Red-Knot, TY aims to revolutionize type checking in Python with superior usability and performance. They discuss the importance of type annotations for better code clarity and reveal how TY addresses common developer challenges. Additionally, they emphasize ongoing innovations in Python tooling and the need for standardization in the Python type system.
Jul 25, 2025 • 1h 5min
#114 ty: Fast Python Type Checking with Carl Meyer
Carl Meyer, a pivotal developer for the ty Python type checker created by Astral, discusses the evolution of static typing in Python. He dives into the challenges and successes of building a type checker in Rust, emphasizing performance and integration with AI coding tools. The conversation explores the importance of type annotations for both safety and developer productivity, comparing Python's type system with others like TypeScript and Rust. Meyer also highlights the role of concurrency and incremental computation in improving type-checking efficiency.
