typeforce

Typeforce 是一个命令行工具，它通过类型注解丰富您的Python环境，增强 mypy。

特别是

• 为注解的包生成 py.typed。
• 安装缺失的存根文件和插件。

py.typed

PEP-561 指出如下

希望支持其代码的类型检查的包维护者必须向支持类型检查的包中添加名为py.typed的标记文件。

实际上，许多维护者不知道这个标记。因此，有很多包有类型注解但没有 py.typed。

Typeforce检查所有已安装的第三方包，并将 py.typed 添加到具有类型注解的包中。

存根和插件

mypy 0.900 引入的一个破坏性更改是移除mypy本身的所有第三方包的 存根 和插件。现在，每个这样的包的存根文件都应该手动安装。

Typeforce扫描所有已安装的第三方包，并安装所有可用的存根文件和插件。

安装

python3 -m pip install --user typeforce

用法

python3 -m typeforce --exe python3.9