問題タブ [continuation-passing]

let式を次のような継続渡しスタイルに変換する方法を知りたいです。

いくつか例を教えてください。ありがとうございます。

重複の可能性:
Node.js に対する Haskell の応答は?
Haskellで複数のファイル/ソケットが読み取り/書き込み可能になるのを監視するにはどうすればよいですか?

nodejsのようにブロックしない方法でIOを実行するHaskellプログラムを書くことは可能ですか?

たとえば、遠く離れたデータベースから 10 件のレコードを取得したいので、10 件のリクエストを同時に発行し、結果が得られたら、このコレクションを返します。IO モナドは役に立ちません。なぜなら、モナドは明示的に bind で計算をシリアライズするからです。次に必要な計算を渡す継続渡しスタイルにも同じ問題があると思います。これも計算をシリアル化します。スレッドで作業したくないので、別の解決策を探しています。これは可能ですか？

null.asInstanceOf[<some CPS annotated type>]コンパイルに失敗する論理的な理由はありますか？

コンテキストについては、このgithub問題スレッドを参照してください。

でを実装しようとしてtail-recursive MergeSortいOCamlます。

Mergesort当然、末尾再帰ではないので、それを実装するために使用しCPSています。

また、私の実装は、OCamlの末尾再帰マージソートに触発されています

以下は私のコードです

コンパイルして、で実行すると、1,000,000 integersのエラーが発生しますstackoverflow。なんで？

編集

テストに使用したコードは次のとおりです。

でhttp://try.ocamlpro.com/、このエラーが発生しました：Exception: RangeError: Maximum call stack size exceeded.

でlocal ocaml top level、問題ありませんでした

各データ依存関数を並行してステップ実行することにより、バッチ データ フェッチを有効にするコルーチン フレームワークを構築しようとしています。これが私がこれまでに持っているものです：http://pastie.org/7147798

1. これはうまくいきません

   次のエラーが表示されます

   これは機能します

   /li>

2. これはうまくいきません

   次のエラーが表示されます

   これは機能します

   しかし、次の警告が表示されます

   /li>

おそらく「金曜日の 5:00 以降で、家に帰りたい」効果ですが、この問題に困惑しています。それぞれを呼び出す再帰的な反復子メソッドがあります。

これは、大規模なデータセットでは非常に遅くなります (以下で説明します)。@raganwald がここで説明しているように、トランポリンは問題の解決策です。. 私の質問は、この再帰関数をリファクタリングしてトランポリン手法を利用するにはどうすればよいですか?

したがって、ツリーの現在の状態を要求するポーリング メカニズムがあります。この場合は、次のようなロケーション ツリーです。

ツリーは、場所に属するもののグリッドでレンダリングされます。グリッド内の場所を持つ行ごとに、ルートをこの行の場所に設定してツリーをレンダリングする必要があります。したがって、次の場合：

したがって、これらの一部またはすべてがサーバー側で処理される可能性があることは気にしないでください。後でデータ フェッチのパフォーマンスを最適化します。

トランポリンまたはCPS スタイルを使用するように各メソッドを書き直す効率的な方法はありますか?

私は CPS を学ぼうとしてきましたが、あまり頭に浮かんでいなかったようです。Cont モナドを使用して基本的なフィルターとマップを実装できますか?