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

Astral has announced its latest project, ty, a next-generation type checker and language server for Python, previously known as Red-Knot. Developed in Rust, ty aims to drastically enhance performance, achieving speeds orders of magnitude faster than existing tools. The public release is imminent, with founders Charlie Marsh and Carl Meyer discussing ty's development and its potential impact on the Python community. The new tool is designed to support massive codebases and deliver advanced features through Language Server Protocol (LSP), improving code quality and developer efficiency.
ty, formerly known as Red-Knot, is a revolutionary type-checker designed to improve the performance and functionality of Python programming by leveraging Rust technology.
Astral, helmed by CEO Charlie Marsh and core contributor Carl Meyer, is committed to pushing the boundaries of Python tooling with the introduction of ty.
Read at Talkpython
[
|
]