Mypy可能是你正在寻找的工具。它是一个基于控制台的工具,可以使用PEP 484类型注释对你的Python代码进行类型检查。它没有出现在PEP 484中的原因是因为并没有固有的理由表明mypy是唯一可能的类型检查器 - 例如,Pycharm也实现了类似的功能,同样基于PEP 484注释。 Mypy仍在积极开发/测试模式下,所以你可能会遇到偶尔的错误,但它相对稳定。