第3回Kotlin勉強会 ＠ Sansanで発表予定のスライドです。

1. kollectionの紹介
第3回Kotlin勉強会＠Sansan
Kota Mizushima
構文解析友の会
プログラミング言語友の会

2. 自己紹介
Twitter:
GitHub:
構文解析おじさん& プログラミング言語オタク
Scalaエヴァンジェリスト
趣味：プログラミング言語|形式言語の自作
, etc.
@kmizu
kmizu
Onion
Klassic
Macro PEG

3. kotlin.collections
Kotlinのコレクションライブラリ
大部分は のラッパ
実体としては同じだが型だけ違う
可変コレクション
MutableList, MutableMap, MutableSet, etc.
読み取り専用ビュー
List, Map, Set, etc.
「不変」コレクションではない点に注意

4. 不変VS. 読み取り専用
不変の場合、ある変数が指すオブジェクトは絶対に変
わらない
読み取り専用の場合、特定の変数経由でオブジェクト
が変更できないことしか保証しない
Kotlin標準ライブラリ(stdlib)は不変コレクションを提
供しない
読み取り専用ビューのみ
>>> val m = arrayListOf(1, 2, 3)
>>> m
[1, 2, 3]
>>> val n: List<Int> = m
>>> n
[1, 2, 3]
>>> m.add(4)
true
>>> n
[1, 2, 3, 4] //中身 書 換

5. 不変コレクションの利点
安心して引数として渡したり返り値にできる
異なるスレッド間で安全に共有できる
引数として受け取ったコレクションをフィールドに
安全に代入できる
読み取り専用ビューはどちらも提供しない
Kotlinにも不変コレクションライブラリが欲しい！

6. kollection
Kotlin用不変コレクションライブラリ
latest: 0.3
今日リリースした
https://github.com/kmizu/kollection
dependencies {
compile "com.github.kmizu:kollection:0.3"
}

7. kollectionが提供するコレクション
（0.3）
KList: 不変リスト
KStream: 不変遅延リスト
KOption: Optional
KStack: 不変スタック
KListSet: KListによるSet実装
KListMap: KListによるMap実装
KLazy: 遅延初期化セル

8. KList
コンスセルベースの不変リスト
val a = 1 cons (2 cons (3 cons (4 cons (5 cons Nil))))
val b = KList(1, 2, 3, 4, 5)
a == b
val a = KList(KList(1, 2), KList(3, 4), KList(5, 6))
val result = a.sum(KMonoid.KLIST())
result == KList(1, 2, 3, 4, 5, 6)
val a = Klist(1, 2, 3, 4, 5) zip KList(1, 2, 3, 4, 5)
a == KList(1 to 1, 2 to 2, 3 to 3, 4 to 4, 5 to 5)

9. KStream
コンスセルベースの遅延リスト
fun ones(): KStream<Int> = 1 cons { ones() }
println(ones().take(5)) // KStream(1, 1, 1, 1, 1)
fun fib(): KStream<Int> = 0 cons { 1 cons { fib() zip fib().tl map {it.first
println(fib().take(7)) // KStream(0, 1, 1, 2, 3, 5, 8)
val nat = KStream.from(0)
println(nat.take(5)) // KStream(0, 1, 2, 3, 4)

10. KOption
nullable-typeと似たようなもの
みたいな値を取り得る
val x: KOption<String> = Some("FOO")
x.filter{it == "BAR"} == None
val x: KOption<String> = Some("FOO")
x.map{it + it} == Some("FOOFOO")
val x: KOption<String> = None
x getOrElse { "BAR" } == "BAR"

11. KEither
失敗した場合の情報を保持するように を拡張
したもの
通常、 で成功時の情報を、 で失敗時の情
報を保持する
いわゆるEither
val x: KEither<Int, Int> = Left<Int, Int>(1)
x.map{it * 2} == Left<Int, Int>(1) // Left 場合 map 適用
val x: KEither<Int, Int> = Right<Int, Int>(1)
x.map{it * 2} == Right<Int, Int>(2) // Right 場合 map 適用

12. KBatchedQueue
不変キュー（FIFO）
償却計算量（O(n)）
val q = KBatchedQueue(1, 2, 3, 4, 5)
val result = q enqueue 6
KBatchedQueue(1, 2, 3, 4, 5, 6).toList() == result.toList()
val q = KBatchedQueue(1, 2, 3, 4, 5)
val result = q enqueue 6
val result = q.dequeue()
KBatchedQueue(2, 3, 4, 5).toList() == result.toList()

13. KStack
不変スタック（内部的には を利用)
val kstack = KStack(1, 2, 3, 4, 5)
kstack == KStack<Int>().push(1).push(2).push(3).push(4).push(5)
kstack.top == 5
kstack.pop() == KStack(1, 2, 3, 4)

14. KListSet
不変集合
ベースなので遅いが、 さえ定義されて
いれば何にでも使える
val set = KListSet(1, 2, 3, 4, 5)
set[0] == false
set[1] == true
set[6] == false
val set2 = set + 6
set[0] == false
set[1] == true
set[6] == true
val set3 = set2 - 1
set[0] == false
set[1] == false
set[6] == true

15. KListMap
不変マップ
同じく ベースなので遅いが、 さえ定義
されていれば良い
を使ってキーが存在したかを返す
val map = KListMap(1 to 2, 3 to 4, 5 to 6)
map[1] == Some(2)
map[3] == Some(4)
map[5] == Some(6)
map[6] == None
val map2 = map + (6 to 8)
map2[6] == Some(8)

16. 今後の予定
KTreeMap, KTreeSet
赤黒木ベース
KHashMap, KHashSet
ハッシュトライベース？
KRealtimeQueue
各操作が必ず定数時間で終わるようにする

17. Scalaistから見たKotlin(1) - 良いと
ころ
基本文法はだいたいScalaから借りてきてる
Scalaistからみてわかりやすい
data class ≒case class
sealed class
val/var name: type
primary constructor
(Scalaに比べて）コンパイルが速い
でも遅い
もっとコンパイルが速くなることを期待

18. Scalaistから見たKotlin(2) - 良くな
いところ
sealed classを継承してdata classを作れない
Kotlin 1.1では改善されるらしい
パターンマッチがない
ADTが気軽に作れない
Scalaから引き継いだ謎のFunction22制限
問題になることはほとんどない
ツールが未成熟
dokka
spek

19. まとめ
Kotlinには不変コレクションがない
不変コレクションライブラリを作ってみた
KList, KStream, KOption, KStack, etc.
まだまだ工事中
予定：KRealtimeQueue, KHashSet, KTreeSet,
KHashMap, KTreeMap

20. おまけ- dokkaが生成したAPIリフ
ァレンス
とても見づらい（一応JetBrains公式）
dokkaを使っている人がさっぱり見当たらない
dokkaの改善に貢献しよう！