用于自动完成的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

很好的讨论,有很多指针,在这里(有点过时).我不认为任何"生产"编辑积极尝试类型推理用于自动完成目的(但我有一段时间没有使用例如翼软件,所以也许他们现在这样做).