vscode 中的 Python linter，类型检查不完整(预期...得到...)

Question

我使用 vscode，我发现 Python linter(s) 不检测何时使用不同于其签名定义的类型的参数调用 python 函数。

在这种情况下，该函数需要一个 typing.Type[Exception] 而不是 Exception:

Pycharm 检测到这种情况:

我认为 mypy 没有检测到这个，因为它使用了 typing 模块(mypy 检测到内置类型中的类型不匹配)。

• 有没有办法配置 mypy 来检测这种情况？
• pycharm 使用哪个 linter？它存在于 vscode 中吗？
• 是否有其他 linter 可以完成这项工作？

注意:我遵循了这个 SO post 中的标志建议(--check-untyped-defs) 但它不起作用。

Answer 1

按照评论部分的建议，我可以通过以下方式在 vscode 中执行此操作:

1. 正在安装 Pylance plugin和
2. 在用户设置中设置以下参数:

    "python.languageServer": "Pylance",
    "python.analysis.typeCheckingMode": "strict",