Komodo Python auto complete: ¿tipo de inferencia por variable de metadatos?

Question

Estoy usando Komodo Edit para el desarrollo Python, y quiero sacar el máximo provecho de la autocompletar.

Si hago esto:

a = A() 
a. 

puedo ver una lista de los miembros de A.

Pero si hago esto:

a = [A()] 
b = a[0] 
b. 

no funciona. Quiero ser capaz de hacer esto:

a = [A()] 
b = a[0] 
"""b 

Type: A 
""" 
b. 

Entonces, ¿cómo puedo saber el auto completo que b es de tipo A?

Answer 1

Esto realmente no responde a su pregunta, pero con Wing IDE puede dar pistas sobre el analizador de tipo con assert isinstance(b, A). Ver here. No he encontrado una manera de hacerlo con Komodo, aunque aparentemente es possible al escribir PHP o JavaScript.

actualización:

he encontrado una manera de engañar a Komodo en hacer esto:

if 0: b=A() 

Esto funciona (al menos en Komodo 5.2) y no tiene efectos secundarios, pero es seguro confundir a quien lea tu código

Answer 2

No creo que tengas mucha suerte con esto. El problema es que es realmente bastante difícil inferir estáticamente el tipo de variables en Python, excepto en el caso más simple. A menudo, el tipo no se conoce hasta el tiempo de ejecución y, por lo tanto, la autocompletación no es posible.

El IDE hace un análisis estático para resolver las conjeturas obvias y mejores, pero apuesto a que ni siquiera está tratando de encontrar elementos en un contenedor. Aunque podemos deducir que b es de tipo A, incluso pequeñas variaciones en el código pueden hacerlo desconocido, especialmente porque está en un contenedor mutable.

Por cierto, he intentado esto con el IDE completo de Komodo y no es mejor. Escuché que Wing IDE tiene una excelente terminación de código, pero tampoco estoy seguro de que pueda hacerlo mejor.