用于自动完成的 Python 类型推断

Question

是否可以使用类型推断的 Ocaml/Haskell 算法来建议更好的 Python 自动完成？

这个想法是在以下情况下提出自动补全的例子:

class A:
  def m1(self):
    pass
  def m2(self):
    pass

a = A()
a.     <--- suggest here 'm1' and 'm2'
fun1(a)

def fun1(b):
  b.   <--- suggest here 'm1' and 'm2'

有什么好的起点吗？

Answer 1

精彩的讨论，有很多建议，here (有点过时)。我不相信任何“生产”编辑会为了自动完成的目的而积极尝试类型推断(但我已经有一段时间没有使用 wingware 了，所以他们现在可能会这样做)。