Download as PDF, PPTX
![末尾に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)
![Scalaで萌える関数型プログラミング[完全版]](https://cdn.slidesharecdn.com/ss_thumbnails/olbjpscala-110717003227-phpapp01-thumbnail.jpg?width=640&height=640&fit=bounds)
Scalaz
- 1. Scalaz – とある型クラスのライブラリ- 水島 宏太 (@kmizu)
- 2.
- 3.
- 4.
- 5. @kmizu http://twitter.com/kmizu id:kmizushima http://d.hatena.ne.jp/kmizushima 他称 Scala Bot
- 6.
- 7. ブログで就活⇒今の会社に就職 運が良かった？
- 8.
- 9.
- 10.
- 11.
- 12.
- 13.
- 14.
- 16.
- 17. 純粋関数型データ構造 (Pure Functional DataStructures)
- 18.
- 19.
- 20.
- 21.
- 23.
- 25.
- 26.
- 27.
- 28. あちこちでUnicode文字を 使いまくり
- 29. 向こうの人はどうやって入 力しているのか
- 30.
- 31.
- 32.
- 33. Scalaの標準ライブラリに 無いあれこれを集めた 便利ライブラリ
- 34. パッケージ一覧 scalaz ←自分が紹介 scalaz.effect ↑@halcat0x15aさんが紹介 scalaz.concurrent scalaz.io scalaz.http ググってください scalaz.geo scalaz.scalacheck
- 35.
- 36.
- 37.
- 38.
- 39. 便利な型クラス & それを利用した ライブラリ
- 40. 純粋関数型データ構造 (不変データ構造) ライブラリ
- 41. Category Applicative Functor Arrow Kleisi Monoid Monad ...
- 42.
- 43. どういうバックグラウンド の人が作ったか よくわかる
- 44.
- 45.
- 46.
- 47. 末尾にs ↓ implicit conversion を提供するtrait
- 48. 末尾にW ↓ implicit conversion によって拡張するための型 PimpedType[T]を継承
- 49.
- 50.
- 51.
- 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 } ...
- 55.
- 56.
- 57.
- 58.
- 59.
- 60.
- 61.
- 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.
- 64.
- 65.
- 66. import scalaz._ import Scalaz._ vallst = 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.
- 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.
- 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.
- 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.
- 95.
- 96.
- 97. immutableデータは効率が 悪い？
- 98.
- 99.
- 100.
- 101.
- 102.
- 103.
- 104.
- 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.
- 111.
- 112. cons, reverse, cdr：O(1) append, split: O(log n) ※償却計算量
- 113.
- 114.
- 115.
- 116.
- 117.
- 118.