#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 #506 deep-dive: talkpython.fm/506

Episode transcripts: talkpython.fm

---== Don't be a stranger ==---

YouTube: youtube.com/@talkpython

Bluesky: @talkpython.fm

Mastodon: @talkpython@fosstodon.org

X.com: @talkpython

Michael on Bluesky: @mkennedy.codes

Michael on Mastodon: @mkennedy@fosstodon.org

Michael on X.com: @mkennedy