4款Python 类型检查工具,你选择哪个呢？

微软在 Github 上开源了一个 Python 静态类型检查工具：pyright ，引起了社区内的多方关注。而到了 3.5 版本，Python 继续引入了静态类型检查的语法。后来，又陆续提出了 PEP-526、PEP-544，类型检查的规范逐渐丰富。类型检查的好处是及早检查，提前发现类型的错误，增强代码的一致性与可维护性。在微软推出 pyright 之前，主流的静态检查工具有三款：官方的mypy 、Google 出的pytype 、Facebook 出的pyre-check 。pyright 的文档宣称它有如下特点：速度快。相较于 mypy 及其它用 Python 写的检查工具，它的速度是 5 倍甚至更多。它用 TypeScript 写成，运行于 node 上，不依赖 Python 环境或第三方包。此外，还有一个考虑也不错，为了写类型检查，模块中可能会额外引入其它的模块，对于后者，pytype 有办法隐藏它，只在做类型检查时才加载。