ty: An extremely fast Python type checker and LSP
TL;DR: ty is an extremely fast Python type checker and language server, written in Rust, and designed as an alternative to tools like mypy, Pyright, and Pylance.
Today, we're announcing the Beta release of ty. We now use ty exclusively in our own projects and are ready to recommend it to motivated users for production use.
At Astral, we build high-performance developer tools for the Python ecosystem. We're best known for uv, our Python package manager, and Ruff, our linter and formatter.
Today, we're announcing the Beta release of the next tool in the Astral toolchain: ty, an extremely fast Python type checker and language server, written in Rust.
0s 20s 40s ty Pyrefly Pyright mypy 5.32s 19.62s 45.66s 2.19s Type checking the home-assistant project on the command-line, without caching (M4).
ty was designed from the ground up to power a language server. The entire ty architecture is built around "incrementality", enabling us to selectively re-run only the necessary computations when a user (e.g.) edits a file or modifies an individual function. This makes live updates extremely fast in the context of an editor or long-lived process.
0s 1s 2s ty Pyright Pyrefly 370.5ms 2.60s 4.5ms Re-computing diagnostics in the language server after editing a file in the PyTorch project (M4).
You can install ty today with uv tool install ty@latest , or via our VS Code extension.
Like Ruff and uv, ty's implementation was grounded in some of our core product principles:
... continue reading