Mypy 0.740 发布，Python 静态类型检查工具
Mypy 0.740已经发布了，此版本包括许多特性、错误修复和 library stub更新。Mypy 是处于实验性阶段的Python 静态类型检查器，旨在结合动态类型和静态类型的优点，将 Python 的表现力和便利性与强大的类型系统和编译时（compile-time）类型检查相结合，提供编译时的类型检查和高效地编译为原生代码，无需使用重量级和耗费 runtime 开销的 Python 虚拟机。更新内容如下： str.format调用的类型检查 在此版本中，对字符串文本的 format 方法的调用将根据格式字符串语法的规则(format string syntax)和格式规范 mini 语言进行类型检查。同时修复了 % 格式的部分错误问题，并允许字节和字符串之间的错误交互。下面是 Mypy 现在可以捕捉到的一些错误： 无效的格式字符串语法 无效的转换类型或说明符 不正确的参数或字段名 数字格式的类型不匹配 索引或属性表达式中的类型错误 改进 check_untyped_defs 此版本中，在使用 check_untyped_defs 时，能够正确地给出对象的类型，对非类型化方法进行更...
