How the continuation monad works
I remember the first time I read the Monad instance for ContT I was so confused. I couldn't fathom how it worked because it was hard to discern the pattern. However, I later discovered that renaming things makes the pattern much more clear: import Control.Applicative newtype ContT x m r = ContT { (>>-) :: (r -> m x) -> m x } instance Functor (ContT x m) where fmap f m = ContT $ \_return -> -- fmap
The Continuation Monad
The continuation monad is one of the least appreciated monads and in this post I hope to motivate when to use it. This post will first motivate continuations in general and then motivate them in their specific capacity as monads. Continuations A Haskell continuation has the following type: newtype Cont r a = Cont { runCont :: (a -> r) -> r } A continuation takes a function of type (a -> r) and gen
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
「Javaで継続モナド」をScalaに翻訳/Scala Advent Calendar 2013
https://github.com/quchen/articles/blob/master/cont_monad.md
