近日，微软在 Github 上开源了一个 Python 静态类型检查工具：pyright ，引起了社区内的多方关注。众所周知，Python 是一门动态类型语言，在运行期才知道变量的实际类型。早在 2006 年的 PEP-3107，Python 就推出了函数注解的功能，最终落在 3.0 版本实现。而到了 3.5 版本，Python 继续引入了静态类型检查的语法。2014 年的 PEP-483 更是以《The Theory of Type Hints》为题，做出了理论上的归纳。后来，又陆续提出了 PEP-526、PEP-544，类型检查的规范逐渐丰富。类型检查的好处是及早检查，提前发现类型的错误，增强代码的一致性与可维护性。三足鼎立的局面要被打破了。pyright 的文档宣称它有如下特点：
暂无评论