Is it possible to use Ocaml/Haskell algorithm of type inference to suggest better autocompletions for Python?
The idea is to propose autocompletion for example in the following cases:
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'
Are there any good starting points?