python - 为什么 mypy 看不到来自 typeshed 的类型？

Question

我正在尝试向我现有的代码库中添加更多 mypy 类型注释。我有一个使用大量 bs4 的文件。

当我在此文件上运行 mypy 检查器时，出现错误:

error: Skipping analyzing "bs4": module is installed, but missing library stubs or py.typed marker

在mypy docs on "Missing library stubs"它说:

Mypy will not try inferring the types of any 3rd party libraries you have installed unless they either have declared themselves to be PEP 561 compliant stub package (e.g. with a py.typed file) or have registered themselves on typeshed, the repository of types for the standard library and some 3rd party libraries.

但是当我look on typeshed ，是一组 stub 。我如何修复该错误并告诉它查看来自 typeshed 的 stub 定义？

BS4 和 mypy 都运行最新版本。

This question问了一个关于黑色的类似问题，但是当我在我的代码中测试黑色时，mypy 没有提示，但似乎他们已经以不同的方式解决了它，因为 typeshed 中没有黑色 stub 。

Answer 1

这里是mypy typeshed的内容.它不包括第三方库，仅限于标准库。所以 beautifulsoup 的类型没有随 mypy 一起提供(这样做真的很奇怪，因为这些 stub 有时比 mypy 更频繁地更新> 本身，加上其他类型检查器依赖于这个类型)。所以你需要单独安装所需的 stub ( package home page ):

pip install types-beautifulsoup4