Stefan Kraus
Data Engineer / ML Engineer at inovex GmbH.
I’m passionate about building innovative and impactful digital solutions and sharing practical insights that create sustainable value for customers and teams.
Session
Python’s static typing ecosystem has long been shaped by mypy, but a new contender has entered the space: ty, a high-performance type checker from Astral that has recently exited alpha. With a focus on speed, modern ergonomics, and tight tooling integration, Ty represents a new direction for Python type checking.
In this talk, we’ll explore what ty looks like in practice. We’ll cover its core features, how it behaves on real-world codebases, and what changes when type checking becomes fast enough to run constantly. We’ll also compare ty directly with mypy, highlighting strengths, limitations, and trade-offs teams should understand before adopting it.
This session will help Python developers evaluate whether ty is ready for production use today—and what it suggests about the future of Python typing tools.