Mypy-Python的可选静态类型

2019年11月29日：Mypy 0.750发布。此版本对自类型、改进的存根生成器、注释的实验性静态推断以及其他改进和错误修复有更好的支持。请阅读博客帖子以了解更多详细信息。-Ivan Levkivskyi旧新闻def fib(N)：a，b=0，1而a<；n：产生a a，b=b，a+b。

Def fib(n：int)->；迭代器[int]：a，b=0，1而a<；n：生成a a，b=b，a+b。

将现有代码迁移到静态类型，一次一个函数。您可以在程序、模块或表达式中自由混合静态和动态类型。不需要放弃动态类型-在有意义的时候使用静态类型。通常，只需添加函数签名就可以获得静态键入的代码。Mypy可以推断其他变量的类型。Mypy类型检查具有符合PEP 484的类型注释的程序。如果您了解Python，那么入门就很容易。其目标是在mypy中支持几乎所有的Python语言构造。Mypy拥有强大的现代类型系统，具有双向类型推断、泛型、可调用类型、抽象基类、多重继承和元组类型等特性。许多常用的库都有存根(静态类型的接口定义)，允许mypy检查您的代码是否正确使用库。