Scala
Pythonと同様のインデント構文をサポート
代数的データ型の新しい標準をつくるために再設計されたEnumerations
Opaque Types. Boxingのオーバーヘッドを起こすことなく抽象化できる新たな値型
Intersection and union types. [A & B] や [A | B] と表現可能
Implicitsの文法変更
Dependent function types.
Polymorphic function types.
Type lambdas.
Match types.
Trait は class のように 引数をとれるようになった。
open classesの概念を導入
traitsに transparent とマークすることで継承をユーザーに公開しない
Composition over inheritance. imports と対称的に、 export clauses はオブジェクトの特定のメンバーへアクセスするためのエイリアスを定義する
No more NPEs.
メタプログラミングも大幅に強化された