Continuation モナド - MEMO:はてな支店

Continuation モナド - MEMO:はてな支店

理解するのにすごく苦労したのでメモ。 まず、定義はこんな感じ。 instance Monad (Cont r) where retur...概要を表示 理解するのにすごく苦労したのでメモ。 まず、定義はこんな感じ。 instance Monad (Cont r) where return a = Cont $ \k -> k a -- i.e. return a = \k -> k a (Cont c) >>= f = Cont $ \k -> c (\a -> runCont (f a) k) -- i.e. c >>= f = \k -> c (\a -> f a k) http://www.sampou.org/haskell/a-a-monads/html/contmonad.html runCont runContの中身が書いてないが、以下のような定義だと思われる。 第1引数にContモナドをとり、中身のcを取り出し、kに適用する。 runCont (Cont c) k = c k bind 自分としては、>>=の中身は、以下の

• Haskell