编程语音的类型系统其实是非常重要的。但作为一种弱类型语言，Python 的类型检查是非常困难的。但自从 3.5 版本加入了 type annotation，很多工具变得强大了起来。目前，mypy 是这个领域最值得关注的。几个大厂也各自有自己的实现[^1]，有些 IDE 比如 PyCharm 还自带一个类型检查工具，但这里主要说一下 mypy 的使用。目录 静态类型检查 类型声明和检查静态类型检查安装 mypy：$ poetry add --dev mypy 在 Nox 里面添加一个 session：@nox.session(python=["3.8", "3.7"])def mypy(se……