但愿苍生俱饱暖,不辞辛苦出山林。一一于谦
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 值得你持续关注与尝试。