@mypy
mypy 是 Python 的标准静态类型检查器,支持使用类型提示 (PEP 484) 进行渐进式键入和全面的类型安全。它在运行前捕获类型错误、改进代码文档并增强 IDE 支持,同时通过增量采用保持 Python 的动态特性。