微軟本周發布一個小工具：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開源的這個框架。