SuperAPI AI 工具集

quality-run-type-checking

测试与质量

查看项目

更新于 10-15 20:34

技能介绍

用途:执行双重类型检查策略,pyright 用于快速迭代,mypy 用于全面校验,两者互补。适用场景包括开发中运行类型检查、提交前验证、调试类型错误、理解为何需要两个检查器,以及在 pyproject.toml 中配置类型检查。触发语如“run type checking”“check types”“pyright errors”“mypy failing”“fix type errors”。

主要能力:pyright 速度快(约2秒)、编辑器集成好、严格模式、现代 Python 支持;mypy 较慢(3-5秒)、成熟全面、支持 Pydantic 插件、适合 CI/CD 最终校验。两者均使用严格模式,但实现不同;mypy 对测试文件放宽规则。

使用方式:日常开发运行 pyright src/ tests/ 或 uv run pyright src/ tests/;提交前运行 pyright src/ tests/ && mypy src/ tests/;完整质量门运行 ./scripts/check_all.sh。修复流程为先跑 pyright 修错,再跑 mypy 修 Pydantic 与边缘问题,最后两者确认。配置在 pyproject.toml 的 [tool.pyright] 与 [tool.mypy] 中,mypy 需启用 plugins = ["pydantic.mypy"]。

限制:需安装 pyright、mypy、pydantic;命令未找到时用 uv run 前缀或 uv pip install -e ".[dev]";缺少类型存根需安装 types-* 包;避免滥用 # type: ignore,需附理由注释。具体项目路径与脚本以实际仓库为准。