Python的Mypy--高级用法 Mypy可以检查的不仅仅是简单的Python类型。在我的上一篇文章中，我介绍了Mypy，一个在Python程序中强制进行类型检查的软件包。Python本身是，并且永远都将保持是一种动态类型语言。但是，Python 3支持“注解”，这是一种允许您将对象附加到变量、函数参数和函数返回值的功能。 这些注解会被Python本身忽略，但可以被外部工具使用。
介绍Mypy，Python的实验性可选静态类型检查器 使用mypy来收紧您的代码并在错误发生之前识别它们。多年来，我一直使用动态语言——Perl、Ruby和Python。我喜欢这些语言提供的灵活性和表达能力。例如，我可以定义一个对数字求和的函数
