An introduction to Sca

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. Scalaエヴァンジェリスト(笑)

10. Scalazについて話します

11. その前に

12. ちょっと待って

13. Scalazって何？

14. 頭のおかしい(褒め言葉)
凄い人たちが作ったライブラリ

16. 型クラス(Type Classes)

17. 純粋関数型データ構造
(Pure Functional Data Structures)

18. 最低限の依存関係
(J2SE + Scala標準ライブラリ)

19. IntelliJ IDEA使って開発してる

20. なんだか難しそう？

21. コード例

23. ☆って何だよ☆って

25. ★って何だよ★って

26. 数学記号ならわかる

27. 何故☆★？

28. あちこちでUnicode文字を
使いまくり

29. 向こうの人はどうやって入
力しているのか

30. それが知りたい

31. ここから真面目に紹介

32. Scalaz
http://code.google.com/p/scalaz/

33. Scalaの標準ライブラリに
無いあれこれを集めた
便利ライブラリ

34. パッケージ一覧
scalaz ←自分が紹介
scalaz.effect
↑@halcat0x15aさんが紹介
scalaz.concurrent
scalaz.io
scalaz.http ググってください
scalaz.geo
scalaz.scalacheck

35. scalazパッケージ

36. Scalazのコア

37. 色々なtrait/class
の集まり

38. 中心は

39. 便利な型クラス &
それを利用した
ライブラリ

40. 純粋関数型データ構造
(不変データ構造)
ライブラリ

41. Category
Applicative
Functor
Arrow
Kleisi
Monoid
Monad
...

42. IOモナドまである
# Scalaで必要なのか…？

43. どういうバックグラウンド
の人が作ったか
よくわかる

44. でも、この辺の用語は
わからなくてもOK

45. 便利なとこだけ使おう

46. 基本的な命名規約
とかコーディングルール

47. 末尾にs
↓
implicit conversion
を提供するtrait

48. 末尾にW
↓
implicit conversion
によって拡張するための型
PimpedType[T]を継承

49. わかりやすい例

50. scalaz.BooleanW
scalaz.Booleans

51. Boolean型に
便利？メソッドを追加

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. import scalaz._
import Scalaz._

56. この二行だけで使える

57. 他のをimportしなくていい

58. 次

59. scalaz.Options
scalaz.OptionW

60. Option型に
便利？メソッドを追加

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. 次

64. scalaz.Lists
scalaz.Listw

65. List型に
便利？メソッドを追加

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. 純粋関数型データ構造

95. 要はimmutableな
データ構造

96. scala.collection.
immutableにあるようなの

97. immutableデータは効率が
悪い？

98. 必ずしもそうではない

99. でもその話は置いておく

100. Scalazが提供する
純粋関数型データ構造

101. Zipper
FingerTree
+ Rope

102. あんまり多く無い

103. 標準コレクション
が充実してるせい(たぶん)

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. 質問タイム？