タグ

continuationに関するtheatricalのブックマーク (3)

  • 10.4 Continuations

    10.4 ContinuationsContinuations in The Racket Guide introduces continuations. See Sub-expression Evaluation and Continuations and Prompts, Delimited Continuations, and Barriers for general information about continuations. Racket’s support for prompts and composable continuations [Flatt07] closely resembles Sitaram’s % and fcontrol operator [Sitaram93]. Racket installs a continuation barrier around

    theatrical
    theatrical 2014/08/25
    貴様ら、Racketのドキュメントが有益っぽいから読むといいですよ
  • Scheme:使いたい人のための継続入門

    使いたい人のための継続入門継続渡し形式call/ccは普通の関数call-with系関数call-with-procedurecall-with-continuation-procedurecall-with-current-continuation評価順序と継続call/ccパズルお手元マルチスレッド部分継続reset/pcとcall/pc環境破壊と部分継続部分継続の使用法PRINT-AND-NEXT-REPL議論質問お手元マルチスレッドのサンプルプログラムについて 使いたい人のための継続入門 とりあえず殴り書き。 くどかったり冗長な文章になってたり、重複してたり、間違ってたり、 おおいなる勘違いをしてたり、恥をカいてたりするかもしれないけどご愛敬。 藁をもつかみたい気持ちで継続を使えるようになりたい人は読んでみてください。 ただし所詮は藁です。(w 継続渡し形式 例によって階乗fact

    Scheme:使いたい人のための継続入門
  • Haskell で継続渡しスタイル (CPS)

    0. 目次 継続を理解するには「継続渡しスタイル(CPS)」から 足し算、かけ算、引き算 階乗 木の葉の数を数える フィボナッチ数 リストの平坦 foldr (畳み込み関数) 1. 継続を理解するには「継続渡しスタイル(CPS)」から 「All About Monads」の Continuation モナド が理解できない。特に callCC 関数の定義。 callCC f = Cont $ \k -> runCont (f (\a -> Cont $ \_ -> k a)) k うーん、わずか一行なんだけれど… (+_+) callCC を含め、継続モナドを理解するための前提が次のように書かれている。 Continuation モナドを使う前に継続渡しスタイル(CPS)について確実に理解しているか,自身の設計課題について継続が最良のソリューションなのかを確認してください.他の言語では継続

  • 1