call/ccラムダとクロージャだけで実装できるかどうか誰かが知っていますか？
プログラムのフローを（例外のように）中断するようですcall/ccが、ラムダとクロージャはそれを行うことができません。call/ccしたがって、ラムダとクロージャを介して実装することはできないと思います。
他にアイデアはありますか？
3098 次
2 に答える
12
「ラムダとクロージャだけで実装された」とは正確にはどういう意味なので、質問は特に明確ではありません。
いずれの場合も、継続渡しスタイルで手動で記述することにより、クロージャを含む任意の言語で継続を使用できます。次に、この形式への自動翻訳は、コンパイラーを拡張することによって実装できます。これは、Lispsが通常マクロを介してユーザーレベルで許可します。たとえば、Common Lispの継続を実装するライブラリであるcl-contを参照してください。これは、それらが組み込まれていない言語です。
Schemeのような効率的な普及継続は、プログラムスタックを直接処理する下位レベルで実装される可能性がありますが、これは要件ではなく、単なる最適化です。
于 2010-09-28T11:24:56.200 に答える
11
call/ccスキームでは、継続渡しスタイル（CPS）に変換するときにラムダを使用して実装できます。CPSに変換する場合、発生するすべてのものをcall/cc次の同等のものに置き換えることができます。
(lambda (f k) (f (lambda (v k0) (k v)) k))
ここkで、は保存される継続であり、(lambda (v k0) (k v))はこの継続を復元するエスケーププロシージャです（k0呼び出されたときにアクティブな継続はすべて破棄されます）。
だから、Schemeに対するあなたの質問に答えるために：はい、それは行うことができます。
于 2010-10-04T10:44:27.800 に答える