mypy

概述

mypy 是 Python 的静态类型检查器，由 Jukka Lehtosalo 发起，早期获得 Python 之父 Guido van Rossum 在 Dropbox 期间的参与推动。它读取带类型注解的 Python 代码，在不运行程序的情况下报告类型错误。

与语言标准的关系

mypy 的实践直接催生了 PEP 484（类型提示）等一系列标准，使 typing 模块成为 Python 官方组成部分。注解在运行时基本不影响程序行为，检查完全由外部工具完成，这是典型的渐进类型路线。

特性

mypy 支持泛型、协议（结构化子类型）、类型收窄、严格模式（--strict）等；对无注解代码默认宽松处理，便于大型代码库逐步迁移。mypyc 还能将带注解代码编译为 C 扩展以加速。

生态

同类工具还有微软的 Pyright、Meta 的 Pyre、Google 的 pytype，mypy 是事实上的参考实现。