怖くないCats

Transcript

1. 怖くない Cats @jooohn1234
2. M3, Inc. @jooohn1234 • じょん と呼んでください • エムスリーのエンジニア ◦ Scala ・ FP 好き ◦ 猫２匹と同居
12. モナドは プログラム可能な セミコロン！！
13. やばい世界に 足を踏み入れて しまった
18. 完全にこわい
29. Catsは 怖くない！
30. Motivations • Approachability • Modularity • Documentation • Efficiency
31. Motivations • Approachability • Modularity • Documentation • Efficiency
32. Motivations • Approachability • Modularity • Documentation • Efficiency ドキュメントが充実していて とっつきやすい！
33. Monoid
39. 二項演算 (Int, Int) => Int 単位元 Int
40. 二項演算 (Int, Int) => Int 単位元 Int こういう感じの性質を 持っているやつが Monoid 注：ざっくりした説明です
41. 例でなんとなく理解するMonoid (厳密には Monoid lawsを参照) Monoid 単位元 (empty) 二項演算 (combine) 例 Int の 加算 0 + 0 + 1 + 2 + 0 = 3 Int の 乗算 1 * 1 * 3 * 5 * 1 = 15 List の 連結 Nil ::: Nil ::: List(3) ::: List(5, 8) ::: Nil = List(3, 5, 8)
42. Monoid laws law Intの加算 の例 (a combine b) combine c = a combine (b combine c) (1 + 2) + 3 = 6 1 + (2 + 3) = 6 empty combine a = a 0 + 1234 = 1234 a combine empty = a 1234 + 0 = 1234
43. なんかわかるきがする！
44. ・・・
45. それで なにがうれしいんだっけ
50. みたことあるきがする
53. こういうときある
54. こういうときある
56. なんかややこしい
58. Monoidはつくれる！
60. 全てのMonoidに対して Foldable#foldMapが使える
62. ・・・
63. ほとんど Int と同じなのに めんどうだなあ
67. Int と Price は値を変えずに交換可能
74. 便利！
75. 雑感 • Cats は怖くないし便利！ ◦ Approachability / Documentation ▪ ドキュメントを読み進めながら学習が進む。 ◦ 便利と思ったものだけ使えば良い ▪ 自分やチームの成長とともに徐々に扱う範囲を増やしていける。 ◦ １エンジニアとして学んでいて楽しい。 ▪ 汎用的で腐りにくい抽象化の知識。 • とはいえ、濫用には注意 ◦ 使ったほうがコードが理解しやすい / 堅牢になるといった場面で使うべき。 ▪ 『ハンマーを持つ人には全てが釘に見える』に注意。 ◦ 自分やチームメンバーの理解を超えて使わない。 ▪ 無理して使うものではない。