我正在使用大量现有的Python代码库,并希望开始添加类型注释,以便我可以进行一定程度的静态检查.我想象的是Erlang,Strongtalk或Typed Scheme/Racket.
我见过快速和脏的装饰器,它们根据函数参数和返回类型注释插入动态检查,但我正在寻找更强大的东西并在编译时执行检查.
现在有哪些工具可用于此类事情？我熟悉编译器和类型检查,如果它具有良好的基础,我绝对愿意改进一个不完整的工具.
(注意:我对讨论静态类型的优缺点不感兴趣.)
编辑:一个例子:
def put(d, k, v):
d[k] = v
我希望能够将put函数注释为具有类型put<K,V>(dict<K,V>, K, V) -> None.
更新:新的PEP 484(2014年9月)定义了Python 3.5+中静态类型和类型注释的标准.有一个名为mypy的类型检查工具,它与PEP 484兼容.