タイプ推論がIDEのオートコンプリートを遅くする

Question

IDE（アイデア）で初めてScalaを使用すると、自動補完が著しく遅くなり、javaをコーディングするときに気付きました。スローダウンの一部は、当時のスカラツーリングエコシステムの相対的な未熟さに起因するかもしれませんが、この減速の一部は、タイプ推論を必要とするコードを解析するアルゴリズムの複雑さの固有の特性である可能性があります。

のjava：

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

スカラ：

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

型推論を持つ言語は、多くの簡潔（したがって、読みやすい）ですが、これは遅くなり、ツーリングを犠牲にして来るん？固有のトレードオフはありますか？

Answer 1

はい。

ある程度まで、Scalaは必然的に遅いです。推定された型、暗黙の意味、構文的な砂糖を持つコストの1つはコンパイル時です。正確な時間は改善できますが、Scalaは常にex.javaよりもコンパイルが遅くなります。

私は喜んでこのトレードオフを行います。きれいで読みやすいコードベースを持つことは、コンパイル時間（インクリメンタルコンパイルを使用するとしばしば1秒未満）よりもはるかに重要です。