Ty：一个用Rust编写的快速Python类型检查器和语言服务器

Ty：一个用Rust编写的快速Python类型检查器和语言服务器
Ty: A fast Python type checker and language server

一个用Rust编写的极速Python类型检查器和语言服务器。该项目仍在开发中，尚未准备好投入生产使用。如有任何问题或想报告错误，请在此仓库中打开一个issue。目前该项目的开发工作在Ruff仓库中进行。请在那里为ruff子模块（包括所有Rust源代码）的任何更改提交pull request。更多详情请参阅贡献指南。ty 使用MIT许可证（LICENSE或https://opensource.org/licenses/MIT）授权。除非您明确声明，否则根据MIT许可证的定义，您有意提交用于包含在ty中的任何贡献，都将按上述方式授权，无需任何附加条款或条件。

Astral公司，Ruff（快速linter/formatter）和UV（包安装器）的开发者，正在开发一款名为Ty的新型快速Python类型检查器和语言服务器。目前处于预Alpha阶段（版本0.0.0a6），Ty旨在改进Python的静态分析工具领域。 Hacker News上的讨论突出了Ty的潜力，用户在初步测试中注意到它与mypy和pyright相比速度有了显著提升。然而，一些用户报告了误报，表明Ty的类型推断仍在开发中。 Astral的开发者计划专注于改进类型规范本身，并为流行的库加入变通方案，而不是依赖插件架构。他们承认动态Python代码模式对类型检查提出了挑战，并且现有工具往往达不到要求。开发者表示他们已经与Meta团队（正在开发基于Rust的类型检查器Pyrefly）进行了沟通。一些评论者建议采用CI/CD或企业服务作为商业模式。

An extremely fast Python type checker and language server, written in Rust.

This project is still in development and is not ready for production use.

If you have questions or want to report a bug, please open an issue in this repository.

Development of this project takes place in the Ruff repository at this time. Please open pull requests there for changes to anything in the ruff submodule (which includes all of the Rust source code).

See the contributing guide for more details.

ty is licensed under the MIT license (LICENSE or https://opensource.org/licenses/MIT).

Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in ty by you, as defined in the MIT license, shall be licensed as above, without any additional terms or conditions.

Ty：一个用Rust编写的快速Python类型检查器和语言服务器 Ty: A fast Python type checker and language server

Ty：一个用Rust编写的快速Python类型检查器和语言服务器
Ty: A fast Python type checker and language server