有没有一个Python linter可以根据类型提示检查类型？

Question

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

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


result = double('hello')

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

Answer 1

是的，有，它的名字叫mypy

Answer 2

@尼古拉斯·奎罗兹

请问您的链接中是否要表达以下内容：

Mypy 是一个可选的 Python 静态类型检查器，旨在结合动态（或“鸭子”）类型和静态类型的优点。