ty

ty 是一个用 Rust 编写的高性能 Python 类型检查器与语言服务器。它提供极速的类型检查（比 mypy 和 Pyright 快 10–100 倍）、丰富的诊断信息、细粒度增量分析、完整的 LSP 功能（如代码导航、自动导入、内联提示等），并支持渐进式类型、交集类型、重声明等高级类型系统特性。适用于大型 Python 项目开发、CI/CD 中的静态类型验证，以及需要低延迟反馈的 IDE 场景。