L'inferenza del tipo rallenta il completamento automatico nell'IDE

Question

Quando si utilizza Scala per la prima volta in un IDE (Idea), ho notato che il completamento automatico è notevolmente più lento, quindi durante la codifica di Java. Anche se parte del rallentamento può essere dovuto all'immaturità relativa dell'ecosistema degli utensili di scala al momento, sospetto che parte di questo rallentamento possa essere una proprietà intrinseca della complessità algoritmica del codice di analisi che richiede l'inferenza di tipo.

java:

MyType type; type.doSomething() //Class of type already known 

Scala:

val type = new MyType; type.doSomething() //Class of type must be inferred or cached 

Sebbene lingue che hanno inferenza di tipo sono molto più succinta (e quindi più facile da leggere), fa questo vada a scapito di utensili più lento ? C'è un compromesso intrinseco?

Answer 1

Sì.

In una certa misura, Scala è inevitabilmente più lento. Uno dei costi per aver dedotto tipi, impliciti e zucchero sintattico è il tempo di compilazione. I tempi esatti possono essere migliorati, ma Scala verrà sempre compilato più lentamente rispetto a ex.java.

Personalmente, faccio volentieri questo scambio. Avere una base di codice pulita e leggibile è molto più importante per me dei tempi di compilazione (che sono spesso inferiori a 1 sec se si utilizza la compilazione incrementale).