python - 是否有根据类型提示检查类型的 python linter？

Question

我正在寻找一个 Python linter，它可以根据代码中的类型提示检查类型使用情况。
目的是运行单一检查以验证样式、逻辑和类型错误。
我需要在 CI 服务器上运行它，并在开发过程中作为文件观察者。
例如，我需要此代码来输出错误以传递错误的类型参数 -

def double(x: int):
    return x * 2


result = double('hello')

我检查了 PyLint 和 flake8 的文档，但找不到任何对类型检查的支持。
使用 PyLint，我还验证了检查上述代码时没有错误。

Answer 1

是的，有，它叫 mypy