近日，微软在 Github 上开源了一个 Python 静态类型检查工具：pyright ，引起了社区内的多方关注。
微软在开源项目上的参与力度是越来越大了，不说收购 Github 这种大的战略野心，只说它家开源的 VS Code 编辑器，在猿界已割粉无数，连我 Python 圈的红人 Kenneth Reitz（多个开源项目的作者，包括 requests、requests-html、responder等）都对它赞不绝口。
如今开源的 Pyright ，口碑还不错，那我们就来看看它有啥本事，顺便再介绍其它几款类型检查工具。
众所周知，Python 是一门动态类型语言，在运行期才知道变量的实际类
