通过检查程序运行推断类型
farthing的Python项目详细描述
farthing将在跟踪参数时运行任意python代码并返回 给定文件或目录中所有函数的类型。那么放屁罐 根据看到的值的类型自动添加类型批注 在执行过程中。如果要添加静态类型，这可能很有用 到现有的Python代码，或探索代码库，在那里你不确定什么 类型A值具有。
例如，以下代码：
deffactorial(n):result=1foriinrange(2,n+1):result*=ireturnresult
可自动转换为：
deffactorial(n:int)->int:result=1foriinrange(2,n+1):result*=ireturnresult
对以下测试文件运行farthing：
fromnose.toolsimportassert_equalimportfactdeftest_fib():test_cases=[(0,1),(1,1),(2,2),(3,6),(4,24),(5,120),]forindex,valueintest_cases:yield_check_fact,index,valuedef_check_fact(index,value):assert_equal(value,fact.factorial(index))
用法
可以从命令行调用farthing。第一个参数应该是 应该添加类型批注的文件或目录。其他的 参数应该是要与任何参数一起运行的python脚本。例如：
farthing demo/fact.py _virtualenv/bin/nosetests demo/tests.py
演示
要运行演示，只需运行demo.sh。解释它的实际功能：
- 运行make bootstrap以设置具有依赖项的virtualenv。
- 运行. _virtualenv/bin/activate以输入virtualenv。
- 运行farthing demo/fact.py _virtualenv/bin/nosetests demo/tests.py到 运行_virtualenv/bin/nosetests demo/tests.py并将注释添加到 demo/fact.py基于执行运行中使用的实际值的类型。
限制
目前，Farthing只是一个快速的原型，所以目前 以下限制：
- 只使用类型的名称添加注释，而类型的名称可能不是 在当前范围内可用。
- 无法将类型批注添加到正在运行的python脚本中。
- 所看到的第一种类型是使用的，而不是试图找到一个超级类型。
我很想看到类似的项目，如果你知道的话， 如果你让我知道，我会很感激的。
欢迎加入QQ群-->： 979659372
