测试边缘案例的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