1、首先，python 3.5+的版本可以直接标注简单的类型，如int,str等。如图，函数func被标注为 str->str 类型。
2、添加类型标注后，在vscode等开发环境中编写代码时，会根据标注的类型给出提示。
3、python的类型标注对运行没有强制。传入的参数可以不按照标注的类型，不影响运行。
4、如果需要标注复杂的类型，需要构造类型变量。python提供了typing模块，可以从里边import类型变量，如List等。这个List并不是list类，List只用于构造类型。
5、如果我们想要静态的检查程序是否满足类型标注，可以使用mypy工具。使用pip install mypy安装这个工具。
6、直接输入mypy以查看用法。mypy 文件荏半吨蛸名 则可以检查某个文件。如图可以看到，检查了一个typetest.py文件，并且该文件无类型问题。
7、如果代码的类型和类型标注不符，如图所示，检查会报错，但是仍然可能正常运行。
