モナド教

2014/08/13 305 users モナド return 操作 前提知識 存在

前提知識：モナド モナドを理解せずともモナド教を信ずることは出来ますが，理解していればより深く納得できるでしょう． 操作 :: 型 -> 型 は，"型"から"型"へ写す"操作"の存在を表します． モナドの文脈 m が必要とする2つの操作： return :: a -> m a で，値を保ちつつ文脈 m の中に入れ込むことが出来ます． (=<<) :: (a -> m b) -> (m a -> m... 続きを読む

QAで学ぶMonad - あどけない話

2011/04/13 143 users Monad where return 風評 メソッド

Haskellこれは、Monad でつまづいた Haskeller のための Monad 入門です。Monadとは何ですか？Monad とは、単なる型クラスの一つです。難しいという風評もありますが、それ以上でもそれ以下でもありません。この型クラスのメソッドは、return と >>= です。 class Monad m where (>>=) :: m a -> (a -> m b) -> m b... 続きを読む