mypyPython 静态类型检查工具

mypy 编程语言是一个处于实验阶段的 Python 类型检查工具，旨在结合动态类型和静态类型的优点，目标是提供一个令人印象深刻的、功能强大而且方便的 Python，提供编译时的类型检查和高效地编译为原生代码，无需一些重量级的虚拟机。

mypy 仍处于开发阶段，支持大多数 Python 特性。