mypy-在编译期间检查变量类型的python库

Mypy是Python 3和Python 2.7的静态类型检查器。如果您在代码中添加类型注释，mypy可以键入检查代码并查找常见的错误。由于mypy是静态分析器或类似lint的工具，因此类型注释仅是mypy的提示，不会在运行程序时产生干扰。您使用标准的Python解释器运行程序，并且注释被有效地视为注释。

使用Python 3注释语法（使用 PEP 484和PEP 526注释）或基于注释的注释语法（适用于Python 2代码），您将能够有效地注释代码，并使用mypy检查代码中的常见错误。Mypy具有一个功能强大且易于使用的类型系统，具有现代功能，例如类型推断，泛型，可调用类型，元组类型，联合类型和结构子类型。

作为开发人员，您决定如何在工作流程中使用mypy。您总是可以转而使用动态类型，因为mypy的静态类型方法不会限制您可以在程序中执行的操作。使用mypy将使您的程序更易于理解，调试和维护。

安装并运行mypy

Mypy需要运行Python 3.5或更高版本。安装了Python 3之后，您可以使用pip安装mypy：

$ python3 -m pip install mypy

安装mypy后，请使用以下mypy工具运行它：

$ mypy program.py

此命令使mypy类型检查您的program.py文件并打印出发现的任何错误。Mypy将静态地检查您的代码：这意味着它将检查错误而无需运行您的代码，就像lint一样。

这意味着您可以随时忽略mypy报告中的错误，并视其为警告（如果愿意）：mypy与Python本身独立运行。

但是，如果尝试在现有的Python代码上直接运行mypy，则很可能报告的错误很少甚至没有：您必须 在代码中添加类型注释才能充分利用mypy。

更详细的文档资料，包括mypy的一些核心概念，函数注释，typing模块，库存根等，您可以访问mypy的官方文档查阅：mypy.readthedocs.io。