ty

一款极速的 Python 类型检查器和语言服务器，由 Rust 编写。

在不使用缓存的情况下对 home-assistant 项目进行类型检查。

ty 由 Astral 支持，他们也是 uv 和 Ruff 的创建者。

亮点

• 比 mypy 和 Pyright 快 10 到 100 倍
• 提供包含丰富上下文信息的全面 诊断 (diagnostics)
• 支持可配置的 规则级别、文件级覆盖、抑制注释以及一流的项目支持
• 专为采用而设计，支持 重新声明 和 部分类型化代码
• 功能完备的 语言服务器 (Language server)，具备代码导航、补全、代码操作、自动导入、内嵌提示、悬停帮助等功能。
• 精细的 增量分析，专为在 IDE 中编辑文件时实现快速更新而设计
• 提供 VS Code、PyCharm、Neovim 等编辑器的集成
• 具备先进的类型系统特性，如一流的 交集类型、高级 类型收窄 以及 复杂的基于类型的可达性分析

快速入门

使用 uvx 运行 ty 以快速上手

uvx ty check

ty 默认会检查工作目录或项目中的所有 Python 文件。

有关详细信息，请参阅 类型检查 文档。

安装

要安装 ty，请参阅 安装 文档。

要将 ty 语言服务器添加到您的编辑器，请参阅 编辑器集成 指南。

在线演练场

ty 提供了一个 在线演练场 (playground)，供您在代码片段或小型项目上进行尝试。

提示

演练场是与他人分享代码片段的绝佳方式，例如在提交 Bug 报告时。