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

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

Update: 2025-05-19
Share

Description

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



--- 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
Comments 
00:00
00:00
x

0.5x

0.8x

1.0x

1.25x

1.5x

2.0x

3.0x

Sleep Timer

Off

End of Episode

5 Minutes

10 Minutes

15 Minutes

30 Minutes

45 Minutes

60 Minutes

120 Minutes

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

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

Michael Kennedy (@mkennedy)