Ty: A fast Python type checker and LSP
5 months ago
- #Python
- #Rust
- #Type Checking
- ty 是一个用 Rust 编写的快速 Python 类型检查器和语言服务器。
- 已发布 Beta 版本，现用于 Astral 项目并推荐在生产环境中使用。
- 专为性能设计，无缓存情况下比 mypy 和 Pyright 快 10-60 倍。
- 特性包括一流的交集类型、高级类型收窄和复杂的可达性分析。
- 构建时对性能、正确性和人体工程学有着极致追求。
- 包含受 Rust 错误信息启发的顶级诊断系统。
- 通过语言服务器协议支持 VS Code、Cursor 等编辑器。
- 未来目标包括稳定性、功能完善以及对 Pydantic 和 Django 等第三方库的支持。
- 长期愿景是为 Astral 工具链提供语义能力支持。
- 感谢对 ty 开发有影响的贡献者和团队。