ファンクタからモナド / Functor to Monad

Transcript

1. ファンクタからモナドへ kii
2. ファンクタとかモナドって 聞いたことありますか？
3. 正直分からん、、、
4. 雰囲気掴んだので共有します
5. 雰囲気掴んだので共有します 間違ってたらごめんなさい
6. がっつり関数型プログラミングの話 ですが、 私が Haskell などを知らないので TypeScript で解説します
7. 結論
8. ファンクタとは 文脈に包まれた値に対して 関数が文脈を気にせず 適用できるようにした 設計(デザインパターン)
9. モナドとは 文脈を発生させる関数を 文脈の中でも扱えるようにした 設計(デザインパターン)
10. 動機
11. そもそもファンクタやらモナドは 概念として何故あるのか
12. 文脈に包まれた値でも 普通の値と同じように 文脈を気にせず関数を扱いたいため
13. 普通の値 1, “one”, true
14. 文脈に包まれた値 配列、オブジェクト、関数など
15. 普通の値であれば
16. では、文脈に包まれた値 例えばオブジェクトでは？
17. 文脈(オブジェクト)から値を 取り出して、関数適用してまた文脈に
18. 関数を実行した後も 文脈に包んで返したい
19. 関数は文脈を知らない そのため文脈から値を切り出す
20. 関数が文脈を気にせず使えるように したい これがファンクタの動機
21. ファンクタ
22. 取り出し、関数適用、文脈に包む 一連の処理を担う関数を用意しよう
23. mapCtx に処理をまとめている 引数 f に inc や double などの 具体的な関数が入る
24. 文脈の値を数値に限定していたので、 ジェネリクスで任意の型にする
26. 普通の値との比較
27. Ctx という文脈は map によって 文脈を気にせずに関数を 適用することができるようになった このような関数に対する デザインパターンをファンクタと呼ぶ 厳密にはファンクタ則を満たしている必要がある
28. Ctx という文脈は map によって 文脈を気にせずに関数を 適用することができるようになった このような関数に対する デザインパターンをファンクタと呼ぶ
29. メソッド チェーン を可能にして 使いやすく した バージョン
30. ちなみに、 配列のmapメソッドも同じです
31. モナド
32. 今までは 普通の関数を文脈内で 扱えるようにした
33. では、 文脈を生成するような関数に 対しても文脈内で扱えるだろうか
34. fl 結論から話すと、 atMap が必要となる
35. Maybe という失敗 するかもしれない型 今回はこれが文脈
36. fl map ではなく atMap を実装 map だと文脈が ネストしてしまう
37. map だと文脈が ネストしてしまう
39. fl Maybe は atMap により Maybe を生成する関数を 文脈の中でネストせず扱えるよう になった つまりモナドとなった
40. Maybe は atMap により Maybe を生成する関数を 文脈の中でネストせず扱えるよう になった つまりモナドとなった fl fl 厳密にはモナド則を満たすには atMap と of が必要
41. ちなみに、 DBからの取得も Promise などの 不確定という文脈を持つ これらも モナド として扱ったり できる
42. 結論 ファンクタ、モナドは 文脈に包まれた値を 関数が文脈を知らないまま 扱うためのデザインパターン
43. 参考 - 『JavaScript徹底攻略 関数 付録:圏論についての補足』