ty

项目概述

ty 是 Astral（uv 与 Ruff 的创造者）推出的 Python 类型检查器和语言服务器，用 Rust 编写，速度比 mypy 与 Pyright 快 10 到 100 倍。它提供带丰富上下文的诊断、可配置的规则等级与逐文件覆盖，专为渐进式采用设计，支持重复声明与部分类型化代码。语言服务器提供代码导航、补全、自动导入等 IDE 能力，并针对编辑场景做了细粒度增量分析。

把类型检查的速度拉到与编辑器实时反馈同级的量级。

主要功能

• 极速检查：比 mypy 与 Pyright 快 10 到 100 倍
• 丰富诊断：诊断信息带详细上下文，便于定位与理解
• 规则可配置：支持规则等级、逐文件覆盖与抑制注释
• 渐进采用：支持重复声明与部分类型化代码，方便老项目接入
• 语言服务器：提供导航、补全、代码操作、自动导入、悬浮提示等能力
• 增量分析：细粒度增量机制让 IDE 内编辑后更新极快
• 编辑器集成：官方支持 VS Code、PyCharm、Neovim 等
• 高级类型特性：支持交集类型、高级类型收窄与可达性分析

适用人群

• Python 开发者
• 大型代码库维护者
• 关注类型检查速度的团队
• IDE 重度用户
• 寻找 mypy 或 Pyright 替代品的团队

快速上手

1. 使用 uvx 直接运行检查

uvx ty check

2. 或安装 ty 后在项目目录执行检查

ty check

3. 按安装指南把 ty 语言服务器接入 VS Code 或 PyCharm

4. 也可在浏览器中通过官方 Playground 体验

核心优势

• 速度领先：类型检查速度比主流工具高一到两个数量级
• 采用友好：为未完全类型化的真实代码库设计
• IDE 体验好：增量分析保证编辑时反馈及时

系统要求

注意事项

• Beta 阶段：尚无稳定 API，任意版本间可能出现破坏性变更
• 旧版本目标：检查 3.7 到 3.9 目标代码可能因缺少 stub 出现误报或漏报
• 开发协作：源码开发主要在 Ruff 仓库的子模块中进行