[tylerhillery]

I have always used MyPy but I have noticed some large open source projects adopt Pyright as of late. The folks behind ruff and uv are currently working on a type checker as well but haven't heard when they plan on releasing it.

[ubercore]

MyPy is nice, but it has missed some things that pyright caught, which were legitimate bugs that could have arisen.

[claytonjy]

has Astral confirmed they’re doing a type checker? i’m not surprised, everyone has been asking for it, but i haven’t seen them say they’re doing it

[tylerhillery]

Yes it's confirmed, you can listen to Charlie talk about here: https://youtu.be/byynvdS_7ac?si=JWeeD3uwXflWl5jo&t=1980

Code Name is Red Knot: https://github.com/astral-sh/ruff/discussions/12143