技能介绍

要解决的问题

在大型 Python 项目里跑一次完整的类型检查，往往是开发流程中最拖节奏的一环。mypy 和 Pyright 这类工具的检查速度会随代码量和复杂度明显下降：一次全量检查可能要等上几十秒甚至几分钟，而在编辑器里保存文件后的增量反馈也常常不够及时。等待检查结果的时间越长，类型检查就越容易被当成"提交前才跑一次"的负担，而不是真正融入日常编码流程。

这个技能做了什么

该技能将 Astral（Ruff 和 uv 的开发团队）出品的 ty 打包为可直接使用的能力。ty 是一个用 Rust 编写的 Python 类型检查器兼语言服务器，官方给出的基准是相比 mypy 或 Pyright 快 10-100 倍。它的核心价值在于把"快"转化为实际的工程体验：

快速全量检查：用 Rust 实现的检查内核显著缩短大仓库的全量类型检查耗时；
增量分析：基于上一次的检查结果只处理变更部分，让编辑器中的实时反馈成为可能；
全面的诊断输出：覆盖类型不匹配、缺失标注等问题，给出可操作的错误信息；
语言服务器集成：作为 LSP 实现，可以直接嵌入编辑器/IDE，提供补全、悬停与内联诊断等编辑体验。

实际使用中，最短的上手路径是一条命令：uvx ty check。它会临时拉取并运行 ty 对当前项目执行类型检查，无需预先全局安装，适合 CI 和本地验证。

适用边界与注意点

ty 的定位是类型检查器和语言服务器，项目里原有的测试、lint（比如 Ruff）仍需单独配置，它不会替代这些环节；
上游在 PyPI 页面标注了相应的要求和注意事项，接入前建议先查阅官方说明确认是否满足你的环境条件；
作为较新的工具，与存量项目里已有的 mypy/Pyright 配置（如 pyproject.toml 中的类型检查相关配置、自定义插件）可能存在差异，迁移时需要核对兼容性。

适合把类型检查纳入高频编码循环、且对检查延迟敏感的 Python 团队；如果项目以传统 mypy 为主且短期内不打算切换，可以先在 CI 中并行试跑对比结果。