ty

ty 是 Astral 团队（uv 和 Ruff 的开发者）开发的高性能 Python 类型检查器和语言服务器。它用 Rust 编写，在大型项目（如 home-assistant/core）的基准测试中，类型检查速度比 mypy 和 Pyright 等成熟工具快 10 到 100 倍。 主要功能包括：提供丰富上下文信息的全面诊断、可配置的规则级别、按文件覆盖和抑制注释。该工具支持重新声明和部分类型化代码，便于渐进式采用，适合类型覆盖混合的项目。 语言服务器提供代码导航、补全、代码操作、自动导入、内联提示和悬停帮助，并具备细粒度增量分析，以在 IDE 编辑期间快速更新。编辑器集成支持 VS Code、PyCharm、Neovim 等。 高级类型功能包括一流的交集类型、复杂的类型收窄和基于可达性的分析。ty 官方支持 Python 3.10+ 目标，早期版本（3.7-3.9）可选，但由于标准库存根有限，可能产生误报或漏报。 目前处于测试阶段，版本号为 0.0.x，ty 尚未保证 API 稳定性。开发在 Ruff 仓库中进行。项目采用 MIT 许可，可通过 uvx ty check 快速运行，或在 play.ty.dev 在线游乐场探索。