Upgrade to Pro — share decks privately, control downloads, hide ads and more …

ソフトウェアエンジニアとしてモナドを完全に理解する / make-perfect-sense-...

Jun Tomioka
December 13, 2019

ソフトウェアエンジニアとしてモナドを完全に理解する / make-perfect-sense-of-monad

モナドを完全に理解する

Jun Tomioka

December 13, 2019
Tweet

More Decks by Jun Tomioka

Other Decks in Technology

Transcript

  1. ここでいうFは何者なのか • 型パラメータを1つとる任意の高カインド型 ◦ いわゆる「ジェネリックな型」 • ここでいうFの例 ◦ List, Option

    ◦ Either[Error, ?] ▪ LeftがErrorに固定されており、Right1つだけの型パラメータを取る • ここでいうFではない例 ◦ 型パラメータを取らない ▪ Int, String, List[Int] ◦ 型パラメータを取りすぎ ▪ Either[?, ?]
  2. ちゃんというと、モナドは3点セット • モナド3点セット (関数名はなんでもよい) ◦ 高カインド型F ◦ 関数その1 (flatMap): F[A]

    => (A => F[B]) => F[B] ◦ 関数その2 (pure): A => F[A] • さらにこの3点セットが、ある法則を満たすとき、こ れらはモナドである! ◦ この法則をモナド則という
  3. モナド則 (Monad Laws) • 以下を満たす (ただし、a: A, f: A =>

    F[B], fa: F[A], g: B => F[C]) ◦ Left Identity ▪ pure(a).flatMap(f) == f(a) ◦ Righty Identity ▪ fa.flatMap(pure) == fa ◦ Associativity ▪ fa.flatMap(f).flatMap(g) == f.flatMap(x => f(x).flatMap(g)) • このへんがいい感じの部分 (ここではflatMapはメソッドの形で用いている。 )
  4. Optionモナドの例 • Optionモナドの3点セット ◦ 高カインド型F ▪ Option ◦ flatMap: (fa:

    F[A]) => (f: (A => F[B])) => F[B] ▪ fa match { Some(a) => f(a) None => None } ◦ pure: (a: A) => F[A] ▪ a => Some(a) • モナド則を満たすか確かめてみよう! きがむいたらやろう
  5. モナドは合成できる • モナドの合成を意識したsyntax sugar ◦ for (Scala), do (Haskell) ◦

    チェインのような形ではなく、合成する際は特にこのsyntax sugarが便利
  6. モナド(っぽいなにか) を扱う syntax sugar JS Scala 非同期処理のネスト async / await

    for 式 Optionalな値のネスト Optional chaining (合成、中身を別の関数の引数として渡す といった用途では使えない) for 式 • モナドを意識したsyntax sugarを用意している言語では、各モ ナド (っぽいなにか) に対して一貫した記述ができる。 • このシンプルさもモナドを愛される理由の1つ シンプルではある
  7. • State[S, A] ◦ S => (S, A) のラッパー ▪

    Sを置き換えながらAを返す。 ◦ パーサを書いたりするときに便利 ▪ List[Token]を受け取り、処理後のList[Token]とparse結果Aを返す 便利なモナドを一部紹介 ふーん
  8. その他モナドが愛される理由(個人の感想) • 数学・圏論由来の抽象化である安心感 ◦ 正しい抽象化は思いの外むずかしい ◦ “prefer duplication over the

    wrong abstraction” ▪ https://www.sandimetz.com/blog/2016/1/20/the-wrong-abstraction ?duplication • 困ったときに会話を煙にまくことができる ◦ 「あっごめん、モナドのこと考えてた」 ▪ 話を聞いてなかったときに ◦ 「でもそれってモナド則満たしてるの?」 ▪ 相手の主張がモナド則満たしてないなと思ったときに