j5ik2o https://blog.hatena.ne.jp/j5ik2o/ かとじゅんの技術日誌 https://blog.j5ik2o.me/ Haskell Scala do式でのモナドの記述方法について簡単にまとめる。 Some 1 >>= \x -> Some(x+2) をdo式に書き直すと apply = do a <- Some 1 Some $ a + 2 Monadにはreturnがあるのでそれに書き換える。 apply = do a <- return 1 :: Option Int return $ a + 2 関数の引数にOptionを受け取る場合はこんな感じ。 apply :: Option Int -> Option Int apply op = do a <- op return $ a + 1 まぁ、これだけの説明だと書き方が違うだけ… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fblog.j5ik2o.me%2Fentry%2F2012%2F12%2F16%2F114208" title=" Maybeを自作してみる(Monad編 その2) - かとじゅんの技術日誌" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2012-12-16 11:42:08 rich https://blog.j5ik2o.me/entry/2012/12/16/114208 1.0 100%