Kotlin1.1へのロードマップ

Kotlinは、バージョン1.1に向けて開発が進められている。 Kotlin言語のリードデザイナ、Andrey Breslav氏は、JetBrain用JVM言語の新バージョンに関するロードマップを説明した。この中で、彼は主な新言語機能について述べている。

Kotlin 1.1はいくつもの新言語機能を提供する。

型エイリアス(type aliases)は、長い型宣言に対する略称指定の仕組みを提供する。型エイリアスは、新しい型を宣言するものではない。もともとの型宣言と相互に運用可能な型名を提供するものである。
束縛メソッド参照(bound method references)は、オブジェクトのメンバに対する参照の取得方法を拡張する。これを使用すると、例えばStringクラスのequalsメソッドに対する参照を取得できる。取得した参照は、別の箇所で、述語として使用可能である。val p: Predicate<String> = “foo”::equals なお、すでにKotlin1.0.xより、型に対しては、この機能がサポートされている。
委譲されたプロパティ(delegated properties)は、トップレベル(クラスや関数の中)で利用できる。
```
fun foo() {
  val lazyBar by lazy { ... }
  while (...) {
    if (...) {
      lazyBar.doBaz()
      ...
    }
  }
}
```
委譲されたプロパティは、“確実に一度だけ”特定の種類のプロパティを実装するメカニズムである。たとえば、遅延評価されるプロパティ、観測可能なプロパティ、マップなどに格納されるプロパティなどである。本機能により、こういったプロパティを、毎回実装する必要がなくなる。
データクラス(data classes)は、継承をサポートする。これにより、別のデータクラスからの派生が可能となる。データクラスは、データのみを保持するクラスである。 Kotlinは、データクラスに対し、自動的にアクセサ、equals、hadhCodeその他共通メソッドを生成する。データクラスをシールクラス(sealed class)の中で拡張することも可能になる。
```
sealed class C() {
  data class Example(...) : C()
}
```
デストラクチャリング(destructuring)は、名前の組み合わせをラムダ式の引数として指定できるようにする。以下に一例を示す。 forEachの引数として値のペアを渡すと、2つのコンポーネント(k、vの2変数)に分解される。
```
myMap.forEach {
  (k, v) ->
    println(“$k => $v”)
}
```
コルーチン(coroutines)は、Kotlinの非同期振る舞いの骨格を提供する。 Breslav氏によれば、コルーチンは、C# 5にて導入されたasync/awaitモデルよりも汎用的である。 Kotlinもasync/awaitを提供する。しかし、Kotlinの場合はコルーチンを元に構築されており、プリミティブではない。
```
fun loadImage(url: URL) = async {
  val bytes = await(loadBytes(url))
  bytesToImage(bytes)
}
```

Kotlin1.1は、Java8/9の機能(デフォルトメソッド生成など)を直接サポートする。加えて、JavaScriptバックエンドが言語機能セットとして取り込まれる。

Kotlinの開発は、Kotlin Evolution and Enhancement Process (KEEP)が主導している。 GitHubリポジトリには全ての計画済みユースケースが記載されている。

Kotlin1.1は旧バージョンに対してソースコード、バイナリのどちらも互換性を維持する。新バージョンのKotlinコンパイラは、旧バージョンのソースコードやバイナリによって停止することはない。