#506: ty: Astral's New Type Checker (Formerly Red-Knot)

The folks over at Astral have made some big-time impacts in the Python space with uv and ruff. They are back with another amazing project named ty. You may have known it as Red-Knot. But it's coming up on release time for the first version and with the release it comes with a new official name: ty. We have Charlie Marsh and Carl Meyer on the show to tell us all about this new project.

Episode sponsors

Posit
Auth0
Talk Python Courses

Links from the show

Talk Python's Rock Solid Python: Type Hints & Modern Tools (Pydantic, FastAPI, and More) Course: training.talkpython.fm

Charlie Marsh on Twitter: @charliermarsh
Charlie Marsh on Mastodon: @charliermarsh

Carl Meyer: @carljm

ty on Github: github.com/astral-sh/ty
A Very Early Play with Astral’s Red Knot Static Type Checker: app.daily.dev
Will Red Knot be a drop-in replacement for mypy or pyright?: github.com
Hacker News Announcement: news.ycombinator.com
Early Explorations of Astral’s Red Knot Type Checker: pydevtools.com
Astral's Blog: astral.sh
Rust Analyzer Salsa Docs: docs.rs
Ruff Open Issues (label: red-knot): github.com
Ruff Types: types.ruff.rs
Ruff Docs (Astral): docs.astral.sh
uv Repository: github.com
Watch this episode on YouTube: youtube.com
Episode transcripts: talkpython.fm

--- Stay in touch with us ---
Subscribe to Talk Python on YouTube: youtube.com
Talk Python on Bluesky: @talkpython.fm at bsky.app
Talk Python on Mastodon: talkpython
Michael on Bluesky: @mkennedy.codes at bsky.app
Michael on Mastodon: mkennedy