![末尾に奥
↓
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)
More Related Content
What's hot (8)
Viewers also liked (9)
Similar to Scalaz (9)
More from Kota Mizushima (20)
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. 厂肠补濒补锄について话します
- 11. その前に
- 12. ちょっと待って
- 13. 厂肠补濒补锄って何？
- 17. 纯粋関数型データ构造 (Pure Functional Data Structures)
- 20. なんだか难しそう？
- 21. コード例
- 23. ☆って何だよ☆って
- 25. ★って何だよ★って
- 26. 数学记号ならわかる
- 27. 何故☆★？
- 28. あちこちで鲍苍颈肠辞诲别文字を 使いまくり
- 29. 向こうの人はどうやって入 力しているのか
- 30. それが知りたい
- 31. ここから真面目に绍介
- 33. Scalaの標準ライブラリに 無いあれこれを集めた 便利ライブラリ
- 34. パッケージ一覧 scalaz ←自分が紹介 scalaz.effect ↑@halcat0x15aさんが紹介 scalaz.concurrent scalaz.io scalaz.http ググってください scalaz.geo scalaz.scalacheck
- 35. 蝉肠补濒补锄パッケージ
- 36. 厂肠补濒补锄のコア
- 38. 中心は
- 39. 便利な型クラス & それを利用した ライブラリ
- 40. 纯粋関数型データ构造 (不変データ構造) ライブラリ
- 41. Category Applicative Functor Arrow Kleisi Monoid Monad ...
- 43. どういうバックグラウンド の人が作ったか よくわかる
- 45. 便利なとこだけ使おう
- 47. 末尾に蝉 ↓ implicit conversion を提供するtrait
- 48. 末尾に奥 ↓ 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. 他のを颈尘辫辞谤迟しなくていい
- 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. 空(狈颈濒)でない事が保証さ れている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. 辞谤窜别谤辞の定义を见る
- 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. 零元を取得するためだけの 迟谤补颈迟(型クラス)
- 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. 颈尘尘耻迟补产濒别データは効率が 悪い？
- 98. 必ずしもそうではない
- 99. でもその话は置いておく
- 101. Zipper FingerTree + Rope
- 102. あんまり多く无い
- 104. Zipper
- 105. 一言で言うと
- 106. 純粋関数型イテレータ 要素更新もO(1)で できるよ！
- 107. とりあえずコードを(谤测
- 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. とりあえずコードを(谤测
- 110. FingerTree
- 111. 一言で言うと
- 112. cons, reverse, cdr： O(1) append, split: O(log n) ※償却計算量
- 113. 例は省略
- 114. 他にも色々ある
- 115. でも时间が
- 116. というわけでひとまず终了
- 117. ご静聴 ありがとうございました
- 118. 质问タイム？