Why is this needed?
ty is a new extremely fast Python type checker and language server written in Rust by Astral (creators of uv and Ruff).
We currently use mypy and have some pain points:
- Slow execution time, especially in CI
- Error messages are often unclear and hard to understand
- Debugging type issues takes longer than it should
ty promises to address these issues with:
- 10x - 100x faster than mypy and Pyright
- Comprehensive diagnostics with rich contextual information
- Configurable rule levels, per-file overrides, suppression comments
- Designed for adoption, with support for redeclarations and partially typed code
- From the same team behind Ruff (which we already use)
Which area does this relate to?
No response
Solution
Evaluate ty against our codebase and compare results with current mypy setup. If viable, I'll replace mypy with ty in CI.
I'll create sub-issues for each step.
Acknowledgment
Why is this needed?
ty is a new extremely fast Python type checker and language server written in Rust by Astral (creators of uv and Ruff).
We currently use
mypyand have some pain points:typromises to address these issues with:Which area does this relate to?
No response
Solution
Evaluate ty against our codebase and compare results with current mypy setup. If viable, I'll replace
mypywithtyin CI.I'll create sub-issues for each step.
Acknowledgment