mypy 是 Python 静态类型检查器，根据类型注解和推断结果，在运行代码之前检查部分类型不一致问题。 渐进式类型检查 可以逐步为动态代码加入注解，并选择更严格的检查设置。检查覆盖程度取决于函数是否有注解、第三方库是否提供类型信息，以及是否使用 Any 或忽略规则。 类型检查通过不表示实际输入已经校验，也不能证明业务逻辑正确。它与运行时校验、代码规范检查及自动化测试承担不同职责。官方文档说明类型系统、配置和检查范围。