用 mypy 检查 Python 类型系统 最新

类型系统可以提前检查代码准确性，为中大型项目提供保障。所以现在大型编程语言都争先恐后地为程序添加类型系统。 more