測試邊緣案例的Python語法檢查器

Question

是否有語法檢查器能夠基於邊緣案例檢測到損壞的代碼。舉例：

def run(): 
    for j in [0, 1]: 
     if j == 0: 
      yield j 
     else: 
      yield None 


for i in run(): 
    print i * 2 

此代碼已損壞，因爲None * 2沒有意義。有沒有工具來檢測這種錯誤？

謝謝

Answer 1

您正在尋找一個類型檢查器，而不是語法檢查器。下面是一個嘗試：http://mypy-lang.org/

Answer 2

您需要一個類型檢查器，而不是語法檢查器。 github.com/python/mypy