微软本周发布一个小工具：pyright，它是一个静态类型检查器，微软声称 pyright 各方面性能优于同行。

Python 是一个动态语言，代码加载到内存并运行至某行时，变量类型才真正得以确定，如下，在运行至第2行前，编译器不知道 name 的类型为 str．

before（）name ＝ ＇robot＇after（）

毋庸置疑，python 这种语法，书写起来相当简洁，不用像 c＋＋，java 等语言那样，必须声明类型。

看待任何事情都要用辩证思维，此处也不例外。简洁的语法，带来了一些副作用，下面用一个最简单的例子说明副作用。

python 的可迭代对象一般都有一个 len 函数，计算里面元素的个数，如果入参为 list， tuple， dict， set 等，它是不会报错的。但是，如果传入10，因为对象10是 int， 显然int 类型没有 len 方法，所以报错！

len（iterable＿object）

软件产品要健壮，就必须要适应各种输入实例。像上面说到的，类型不符合预期，调用方法导致系统崩溃，这在实际项目中是不允许的。

为了避免这种类型没有此方法的出错，实际上我们自己可以手写一些代码来避免，比如上面这种情况，可以这么改，判断输入参数obj取值类型是否为可迭代的对象，不是则提示并返回，这种提示方法更加友好。

from collections import abcif isinstance（obj， abc．Iterable） is False：  print（＇％s 不是可迭代的＇％str（obj））  return

这种写法无形中会增加很多代码，能用一个框架统一解决这个问题吗？微软的pyright做的就是这个事情。

使用pyright， 代码会简化成这样：

len（iterable＿object： abc．Iterable）

以上介绍了 pyright 做什么的，解决了什么问题，如何使用。点击阅读原文了解github开源的这个框架。