Mypy：Python的实验性可选静态类型检查器

当今最流行的编程语言之一，

Python可以在未来4年内取代Java和C.
。

 一个名为的代码列表项目
Mypy
 是一个
静态类型检查器
 对于
蟒Serpent
 2.7和3结合了静态和动态类型的好处。它简化了Python代码的静态类型检查，现在已经过改进，可以使更大，更复杂的项目受益。 Mypy是现有Python程序员的有益应用程序。

 开发人员可以将Python作为动态类型语言享受，同时在Mypy的帮助下获得一些静态类型稳定性。该工具利用Python 3的类型注释来实现自己的目的。您可以在正常方式下创建和运行Python，同时在Mypy的帮助下添加静态类型检查。一旦开始探索，您就会意识到该工具的强大功能。

动态和强大的打字

 Python让用户不仅可以享受动态打字，还可以享受强大的打字。动态意味着变量没有类型，但值有。您可以在不通过静态编译语言的第一遍编译的情况下运行代码。在动态语言中，变量没有类型。运行type函数不会返回变量的类型，而是返回变量当前指向的数据类型。

输入注释

 类型注释是在Python 3中引入的。您无法注释变量和返回值。基本思想是你可以输入冒号和类型参数名称。 Python语言很大程度上忽略了类型注释。

如何运行和使用Mypy

 下载和安装Mypy相当容易。你可以运行一个命令 – $pip3 install -U mypy。 pip3反映我正在使用Python 3.您需要使用sudo命令以root身份运行包。安装Mypy后，您可以通过命名文件来运行它。

 Mypy无法告诉开发人员做什么或阻止您运行程序。 Mypy将仅检查安装注释的位置。如果你没有注释某些东西，mypy将无法检查它。