mypy 是基于 Python 类型提示规范的静态类型检查工具，通过为代码添加类型注解并在命令行或 CI 中运行检查，可以在不执行程序的情况下发现类型错误。它支持渐进式迁移、丰富的高级类型系统以及严格模式配置，适用于中大型项目提升代码质量与可维护性。随着 Python 类型系统持续完善，静态类型检查正在成为工程化开发的核心实践。