mypy

mypy 是 Python 的可选静态类型检查器，旨在结合动态（或"鸭子"）类型和静态类型的优点。Mypy 将 Python 的表现力和便利性与强大的类型系统和编译时类型检查相结合。Mypy 可以检查标准 Python 程序；使用任何 Python VM 运行它们，基本上没有运行时开销。