継続モナドについて - Qiita
継続モナドについて勉強したこと、考えたことのまとめです。 継続渡しスタイル(CPS) 例として階乗を求めるプログラムを通常の書き方とCPSで書いてみる。 ※コメントで指摘いただきましたがこの例はCPSになってませんでした。 -- 通常スタイル fact :: (Eq a, Num a) => a -> a fact 0 = 1 fact n = n * fact (n-1) fact 3 == 3 * fact 2 == 3 * 2 * fact 1 == 3 * 2 * 1 * fact 0 == 3 * 2 * 1 * 1 -- CPS cFact :: (Eq a, Num a) => a -> (a -> r) -> r cFact 0 f = f 1 cFact n f = f $ cFact (n-1) (n*) cFact 3 id == cFact 2 (3*) == 3
無限ループから抜け出すプログラム - Qiita
Haskell は簡単に無限ループを作れる。 もちろん他の言語でもwhile(1)とすれば簡単に作れるけど、じゃあその無限ループから脱出するbreakに相当する機能をHaskellでも作れるだろうか。 (｀･ω･´) 実際に作ってみた。 import Control.Monad.Cont main :: IO () main = do putStrLn "Start" withBreak $ \break -> forM_ [1..] $ \i -> do liftIO . putStrLn $ "Loop: " ++ show i when (i == 5) $ break () putStrLn "End" where withBreak = flip runContT pure . callCC
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
ふみ a.k.a.DJ Monad on Twitter: "継続モナド変換子ContTは、(>>=)がベースのモナドに依存せず、CPSの性質から、最終的には必ずフラットな右結合になる。また、コンストラクタを付けたり剥がしたりする必要がないため速い #fpmeetup"
並行プログラミングと継続モナド
