mypy 是 Python 静态类型检查器，旨在结合动态类型和静态类型的优点，将 Python 的表现力和便利性与强大的类型系统和编译时 (compile-time) 类型检查相结合，提供编译时的类型检查和高效地编译为原生代码，无需使用重量级和耗费 runtime 开销的 Python 虚拟机。 近日，mypy 正式发布了 1.0 版本，引入了新特性、优化了性... mypy 1.0 正式发布，Python 静态类型检查器下载地址
