letitride https://blog.hatena.ne.jp/letitride/ 追憶行 https://www.letitride.jp/ テック テック-Haskell モナド モナドはバインド (>>=)関数をサポートするアプリカティブファンクターの一種。 (>>=)関数の定義。 (>>=) :: (Monad m) => m a -> (a -> m b) -> m b Monadという文脈に包んだ値を、値を取る関数に対して渡す。と読める。 適用例。 ghci> Just 3 >>= (\a -> Just(a * 3)) Just 9 つまり、モナドとは値を取る関数に適応できる値を持もてる、型クラスのインスタンスだと思う。 モナド型クラス class Monad m where return :: a -> m a (>>=) :: m a -> (a … 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fwww.letitride.jp%2Fentry%2F2020%2F05%2F08%2F185052" title="Haskell モナドについての学習 - 追憶行" 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 2020-05-08 18:50:52 rich https://www.letitride.jp/entry/2020/05/08/185052 1.0 100%