mypy
mypy 是 Python 的标准静态类型检查器,支持 PEP 484 类型提示与渐进式类型化。它能在运行前发现类型错误,提升代码文档性和 IDE 支持,同时通过渐进式接入保留 Python 的动态特性。主要能力包括:渐进式类型添加、--strict 严格模式、类型推断、Protocol 结构化类型(鸭子类型带类型)、泛型(TypeVar、Generic)、框架集成(FastAPI、Django、Pydantic)以及插件系统和增量检查。可通过 pip 安装,也可配合类型存根(如 types-requests)和框架插件(如 django-stubs)使用。支持 mypy.ini 与 pyproject.toml 配置、按模块覆盖设置以及 # type: ignore 等渐进迁移策略。适用于为 Python 代码库引入类型安全、CI 类型检查及对 FastAPI/Django 项目做静态验证。