Completamento automatico di Komodo Python: digitare l'inferenza tramite metadati variabili?

Question

Sto usando Komodo Edit per lo sviluppo Python e voglio ottenere il meglio dal completamento automatico.

Se faccio questo:

a = A() 
a. 

posso vedere un elenco dei membri del A.

Ma se faccio questo:

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

non funziona. Voglio essere in grado di fare questo:

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

Type: A 
""" 
b. 

Quindi come posso dire il completamento automatico che b è di tipo A?

Answer 1

Questo in realtà non risponde alla tua domanda, ma con Wing IDE puoi dare suggerimenti al tipo di analizzatore con assert isinstance(b, A). Vedi here. Non ho trovato un modo per farlo con Komodo, anche se a quanto pare è possible quando si scrive PHP o JavaScript.

Aggiornamento:

Ho trovato un modo per ingannare Komodo in questo modo:

if 0: b=A() 

Questo funziona (almeno su Komodo 5.2) e non ha effetti collaterali, ma è sicuro confondere chi legge il tuo codice

Answer 2

Non credo che avrete molta fortuna con questo. Il problema è che è davvero abbastanza difficile inferire staticamente il tipo di variabili in Python tranne che nei casi più semplici. Spesso il tipo non è noto fino al momento dell'esecuzione e quindi il completamento automatico non è possibile.

L'IDE fa alcune analisi statica a lavorare fuori le congetture evidenti e migliori, ma scommetto che non è nemmeno provando per gli elementi in un contenitore. Anche se possiamo capire che b è di tipo A anche piccole variazioni al tuo codice possono renderlo inconoscibile, specialmente perché si trova in un contenitore mutevole.

inciso Ho provato questo sulla piena Komodo IDE ed è meglio è. Ho sentito che Wing IDE ha un eccellente completamento del codice, ma non sarei certo che potesse fare di meglio.