After #ruff and #uv, #astral announced their next tool for the python ecosystem
A new type checker for python (like e.g. mypy or pyright) called Ty
- Ty: A new Python type checker (previously codenamed "Rednot")
- The team has been working on it for almost a year
- The name follows Astral's pattern of short, easy-to-type commands (like "ty check")
Source: https://www.youtube.com/watch?v=XVwpL_cAvrw
In your own opinion, after this, what tool do you think they should work on next in the python ecosystem?
Edit: Development is in the ruff repo under the red-knot label.
https://github.com/astral-sh/ruff/issues?q=%20label%3Ared-knot%20
There's also an online playground.
- https://types.ruff.rs/
/r/Python
https://redd.it/1kdui8w
A new type checker for python (like e.g. mypy or pyright) called Ty
- Ty: A new Python type checker (previously codenamed "Rednot")
- The team has been working on it for almost a year
- The name follows Astral's pattern of short, easy-to-type commands (like "ty check")
Source: https://www.youtube.com/watch?v=XVwpL_cAvrw
In your own opinion, after this, what tool do you think they should work on next in the python ecosystem?
Edit: Development is in the ruff repo under the red-knot label.
https://github.com/astral-sh/ruff/issues?q=%20label%3Ared-knot%20
There's also an online playground.
- https://types.ruff.rs/
/r/Python
https://redd.it/1kdui8w
YouTube
ty: Astral's New Type Checker (Formerly Red-Knot) - Talk Python to Me Ep. 506
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…