enakai00 https://blog.hatena.ne.jp/enakai00/ めもめも https://enakai00.hatenablog.com/ おもむろに・・・ 前回に続いて、Continuation Monadと組み合わせて使用する、関数callCCを解説します。前回作成したCont型（Continuation Monad）と関数pythagoras2を再掲します。cps.hs newtype Cont r a = Cont { runCont :: (a -> r) -> r } instance Monad (Cont r) where return x = Cont (\k -> k x) m >>= f = Cont (\k -> runCont m (\x -> runCont (f x) k)) infixr 5 =: … 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fenakai00.hatenablog.com%2Fentry%2F20121013%2F1350131987" title="HaskellのContinuation Monadを理解する(2) - めもめも" 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 2012-10-13 21:39:47 rich https://enakai00.hatenablog.com/entry/20121013/1350131987 1.0 100%