但愿苍生俱饱暖，不辞辛苦出山林。一一于谦
https://github.com/astral-sh/ty
ty：用 Rust 打造的极速 Python 类型检查器与语言服务器
ty 是由 Astral 团队推出的一款极快的 Python 类型检查器和语言服务器，底层采用 Rust 编写，致力于为 Python 生态带来前所未有的类型分析速度与开发体验。
注意：
ty 目前处于预览（preview）阶段，还未稳定用于生产环境。开发团队正在积极完善功能和稳定性，当前版本可能会遇到 bug、缺失的特性或致命错误。
项目简介
- 项目主页：https://github.com/astral-sh/ty
- 官方文档：https://docs.astral.sh/ty/
- 在线体验：play.ty.dev
- 许可证：MIT License
- 开发语言：核心用 Rust 实现，支持 Python 项目
- 星标数：10,529（截至 2025-07）
主要特性
- 极速类型检查：得益于 Rust 高性能实现，ty 能以极快速度分析和检查 Python 代码类型。
- 语言服务器支持：可作为 Python LSP（Language Server Protocol）后端，为编辑器（如 VS Code、Neovim 等）提供类型诊断、补全等功能。
- 现代化 CLI：命令行工具支持批量检查、指定路径检测、多种虚拟环境识别等现代开发需求。
- 虚拟环境集成：自动识别 Python 虚拟环境（支持 VIRTUAL_ENV 变量和 .venv 目录），可灵活适配项目依赖。
- 开箱即用：无需复杂配置，即可对整个项目或指定文件进行类型检查。
快速上手
1. 体验 playground
你可以直接访问 在线 playground 体验 ty 的类型检查能力，无需本地安装。
2. 使用命令行工具
推荐使用 uvx 快速运行 ty：
1 | |
如需检查当前目录下所有 Python 文件：
1 | |
也可以指定单个文件或路径：
1 | |
ty 会自动发现并使用虚拟环境中的依赖（如 VIRTUAL_ENV 或 .venv 目录）。更多安装和高级用法，请参考官方安装文档。
适用场景
- Python 项目的类型检查与静态分析
- 编辑器集成，提升类型智能提示与错误发现能力
- 大型代码库的批量类型诊断
- 追求极致性能和响应速度的 Python 开发流程
社区与贡献
- 开发团队：Astral
- 主要开发协作：Rust 相关核心代码目前在 Ruff 仓库维护，贡献时请前往 ruff 仓库提交 PR
- 参与讨论与反馈：遇到问题或有建议，可在 GitHub Issues 提交
总结
ty 是一款面向未来的 Python 类型检查和语言服务工具。它以 Rust 提供的高性能为基础，让 Python 类型分析变得极速高效。尽管当前仍在预览阶段，但其创新的架构和开发理念已吸引了众多开发者关注。
如果你关注 Python 类型安全、希望提升开发效率，ty 值得你持续关注与尝试。