2012-10-13から1日間の記事一覧
おもむろに・・・ 前回に続いて、Continuation Monadと組み合わせて使用する、関数callCCを解説します。前回作成したCont型(Continuation Monad)と関数pythagoras2を再掲します。cps.hs newtype Cont r a = Cont { runCont :: (a -> r) -> r } instance Mo…
おもむろに・・・ 前回に続いて、Continuation Monadと組み合わせて使用する、関数callCCを解説します。前回作成したCont型(Continuation Monad)と関数pythagoras2を再掲します。cps.hs newtype Cont r a = Cont { runCont :: (a -> r) -> r } instance Mo…