存在型 Qualification ご清聴ありがとうございました 構造体 null非許容型 ジェネリクス変性をクラス宣言で記述できないJava, Kotlinが変性を扱うために使用時に宣言する仕組み(Java「ワイルドカード総称型」)。 不変なクラスにも変性を後付けできるのでそれなりに便利。 Scalaの型システム、強力(型安全性が高い)です。 ただ、nullに対する安全性がほしいですね。 Ceylonがすごいのでおすすめ。 値型をユーザ定義できる。 nullがありえないこと、GCの必要がないことがメリット。
![Scalaの型体系はとてもいい](https://cdn-ak-scissors.b.st-hatena.com/image/square/f5d4d0ea7f6c423ce9f51b277768ca61459485cc/height=288;version=1;width=512/https%3A%2F%2F0701.static.prezi.com%2Fpreview%2Fv2%2Fod5w4f5rhuwobpde4auaj4nsap6jc3sachvcdoaizecfr3dnitcq_3_0.png)