![末尾にW
↓
implicit conversion
によって拡張するための型
PimpedType[T]を継承](https://image.slidesharecdn.com/scalaz-110904014038-phpapp02/85/Scalaz-48-320.jpg)
i != 2 unless { i+= 1 }
...](https://image.slidesharecdn.com/scalaz-110904014038-phpapp02/85/Scalaz-54-320.jpg)
![val i: Option[Int] = Some(100)
val j: Option[Int] = None
val k: Option[Double] = Some(50.0)
val l: Option[Double] = None
i.orZero 100
j.orZero 0
k.orZero 50.0
l.orZero 0.0
i.orEmpty[List] List(100)
j.orEmpty[List] List()
k.orEmpty[Vector] Vector(100)
l.orEmpty[Vector] Vector()
i | 200 100
j | 200 200
...](https://image.slidesharecdn.com/scalaz-110904014038-phpapp02/85/Scalaz-62-320.jpg)
![val i: Option[Int] = Some(100)
val j: Option[Int] = None
val k: Option[Double] = Some(50.0)
val l: Option[Double] = None
i.orZero 100
j.orZero 0
k.orZero 50.0
l.orZero 0.0
i.orEmpty[List] List(100)
j.orEmpty[List] List()
k.orEmpty[Vector] Vector(100)
l.orEmpty[Vector] Vector()
i | 200 100
j | 200 200
...](https://image.slidesharecdn.com/scalaz-110904014038-phpapp02/85/Scalaz-76-320.jpg)
![Zero[A
[A]):
def unary_~(implicit z: Zero[A]): A =
value getOrElse z.zero
Zero[A
[A]):
def orZero(implicit z: Zero[A]): A = ~this](https://image.slidesharecdn.com/scalaz-110904014038-phpapp02/85/Scalaz-83-320.jpg)
![Zero[Z]](https://image.slidesharecdn.com/scalaz-110904014038-phpapp02/85/Scalaz-84-320.jpg)
![trait Zero[Z] { val zero: Z }](https://image.slidesharecdn.com/scalaz-110904014038-phpapp02/85/Scalaz-86-320.jpg)
Scalaz
- 1. Scalaz – とある型クラスのライブラリ- 水島 宏太 (@kmizu)
- 2. 自己紹介
- 3. の前に
- 5. @kmizu http://twitter.com/kmizu id:kmizushima http://d.hatena.ne.jp/kmizushima 他称 Scala Bot
- 7. ブログで就活⇒今の会社に就職 運が良かった？
- 8. まだまだ新米
- 10. Scalazについて話します
- 11. その前に
- 12. ちょっと待って
- 13. Scalazって何？
- 17. 純粋関数型データ構造 (Pure Functional Data Structures)
- 20. なんだか難しそう？
- 21. コード例
- 23. ☆って何だよ☆って
- 25. ★って何だよ★って
- 26. 数学記号ならわかる
- 27. 何故☆★？
- 28. あちこちでUnicode文字を 使いまくり
- 29. 向こうの人はどうやって入 力しているのか
- 30. それが知りたい
- 31. ここから真面目に紹介
- 33. Scalaの標準ライブラリに 無いあれこれを集めた 便利ライブラリ
- 34. パッケージ一覧 scalaz ←自分が紹介 scalaz.effect ↑@halcat0x15aさんが紹介 scalaz.concurrent scalaz.io scalaz.http ググってください scalaz.geo scalaz.scalacheck
- 35. scalazパッケージ
- 36. Scalazのコア
- 38. 中心は
- 39. 便利な型クラス & それを利用した ライブラリ
- 40. 純粋関数型データ構造 (不変データ構造) ライブラリ
- 41. Category Applicative Functor Arrow Kleisi Monoid Monad ...
- 43. どういうバックグラウンド の人が作ったか よくわかる
- 45. 便利なとこだけ使おう
- 47. 末尾にs ↓ implicit conversion を提供するtrait
- 48. 末尾にW ↓ implicit conversion によって拡張するための型 PimpedType[T]を継承
- 49. わかりやすい例
- 52. 二つ揃って一人前
- 53. いいからコードを
- 54. import scalaz._ import Scalaz._ var i = 1 i < 3 ∧ i > 0 true i < 1 ∨ i == 1 true i == 1 when { i+= 1 } (i < 3).guard[List](1) i != 2 unless { i+= 1 } ...
- 56. この二行だけで使える
- 57. 他のをimportしなくていい
- 58. 次
- 61. (ry
- 62. val i: Option[Int] = Some(100) val j: Option[Int] = None val k: Option[Double] = Some(50.0) val l: Option[Double] = None i.orZero 100 j.orZero 0 k.orZero 50.0 l.orZero 0.0 i.orEmpty[List] List(100) j.orEmpty[List] List() k.orEmpty[Vector] Vector(100) l.orEmpty[Vector] Vector() i | 200 100 j | 200 200 ...
- 63. 次
- 66. import scalaz._ import Scalaz._ val lst = List(1, 2, 3) lst.toNel Some(NonEmptyList(1, 2, 3)) lst.powerset List(List(1, 2, 3), List(1, 2), ...) lst.filterM{x => Set(x < 3)} Set(List(1, 2)) lst.filterM{x => Set(x < 2)} Set(List(1)) lst.tails.toList List(List(1, 2, 3), ...,List())
- 67. NonEmptyList ?
- 68. その名の通り
- 69. 空(Nil)でない事が保証さ れているList (のようなもの)
- 70. ⇒ head, tail が必ず 成功する reduceLeft, reduceRightも同様 型安全性にとって重要
- 71. ところで
- 72. 型クラスの話はどこ？
- 73. それは皆様の心の中に
- 74. というわけではなく
- 75. 既に使っています
- 76. val i: Option[Int] = Some(100) val j: Option[Int] = None val k: Option[Double] = Some(50.0) val l: Option[Double] = None i.orZero 100 j.orZero 0 k.orZero 50.0 l.orZero 0.0 i.orEmpty[List] List(100) j.orEmpty[List] List() k.orEmpty[Vector] Vector(100) l.orEmpty[Vector] Vector() i | 200 100 j | 200 200 ...
- 77. 0相当の値(零元)を取得
- 78. 型毎に「零」値は異なる
- 79. そもそも「零」が無い型も
- 80. どうやって「零」を取得？
- 81. というわけで
- 82. orZeroの定義を見る
- 83. Zero[A [A]): def unary_~(implicit z: Zero[A]): A = value getOrElse z.zero Zero[A [A]): def orZero(implicit z: Zero[A]): A = ~this
- 84. Zero[Z]
- 85. 零元を取得するためだけの trait(型クラス)
- 86. trait Zero[Z] { val zero: Z }
- 87. ちょーシンプル
- 88. でも重要
- 89. 色々な型クラス
- 90. Zero Equal Length Semigroup ...
- 91. 最初出てきた
- 92. Category Applicative Functor Arrow Kleisi Monoid Monad ...
- 93. こいつらも型クラス
- 94. 純粋関数型データ構造
- 97. immutableデータは効率が 悪い？
- 98. 必ずしもそうではない
- 99. でもその話は置いておく
- 101. Zipper FingerTree + Rope
- 102. あんまり多く無い
- 104. Zipper
- 105. 一言で言うと
- 106. 純粋関数型イテレータ 要素更新もO(1)で できるよ！
- 107. とりあえずコードを(ry
- 108. val list = List(1,2,3) val zipper = list.toZipper.get.tryNext val updated = zipper.insert(10).insert(20) updated.toStream.toList // List(1,2,10,20,3)
- 109. とりあえずコードを(ry
- 110. FingerTree
- 111. 一言で言うと
- 112. cons, reverse, cdr： O(1) append, split: O(log n) ※償却計算量
- 113. 例は省略
- 114. 他にも色々ある
- 115. でも時間が
- 116. というわけでひとまず終了
- 117. ご静聴 ありがとうございました
- 118. 質問タイム？