問題タブ [callcc]

「コマンド」と「プログラム」のリストを再帰的に分析する必要があるプログラムを作成しています（これは、迷路に住むロボットのために教授によって発明された「ロボット言語」のインタープリターです）。私の最初の実装は遅すぎたため、call-with-current-continuation を使用することにしました。

call/cc がどのように機能するかは知っています。これとこれを説明として読みました。

私の call/cc はチュートリアルのこの部分に基づいています:

多くの場合、call-with-current-continuation を使用して、エスケープ プロシージャ以外の引数を取るプロシージャを呼び出します。たとえば、エスケープ手続き以外に 2 つの引数を取る手続きがあるとします。

(define (foo xy escape) ... (if (= x 0) (escape 'ERROR)) ...)) これは、手続きをカリー化して 1 引数の手続きにすることで修正できます。

[ 前の章でカリー化について議論すべきです! ]

x と y の値として 0 と 1 を渡し、foo にエスケープ プロシージャを渡したいとします。と言うより、

(call-with-current-continuation foo) foo への呼び出しに十分な引数を渡さない、

(call-with-current-continuation (lambda (escape) (foo 0 1 escape))) ラムダ式は、まさに私たちが望むことを行うクロージャを作成します。これは、引数 0、1、および call-with-current-continuation によって作成されたエスケープ プロシージャで foo を呼び出します。

ただし、何らかの理由で機能せず、次の例外がスローされます。

私の間違いを見つけて、なぜそれが起こるのかを説明してほしい...

この質問に関連するコードの部分は次のとおりです。

Scheme はプリミティブなを提供しておりcall-with-current-continuation、一般的に省略call/ccされていますが、ANSI Common Lisp 仕様には同等のものはありません (ただし、それらを実装しようとするライブラリがいくつかあります)。

ANSI Common Lisp 仕様で同様のプリミティブを作成しないという決定が下された理由を知っている人はいますか?

私がこれまでに知っているように、Ruby は(ブロックとして記述された)call/ccとの両方をサポートする唯一の主流言語です。try/catch/finallybegin/rescue/ensure/end

私はRubyに精通していませんが、直感的に、call/cc任意の制御フローを許可しensure、保証された制御フローを必要とするため、その2つの潜在的な競合があることを教えてくれます(一部のコードパスは、事前に定義された状況で実行する必要があります。ブロック）。

それで、言語に矛盾はありますか？もしそうなら、そのような場合の言語の定義された動作は何ですか? 特に、ブロックやブロックcall/ccで使用されている場合はどうなりますか? ブロックの contains句の後にキャプチャを呼び出すとどうなりますか?begin/ensureensure/endcall/ccensure

継続は、次に何が起こるかを何らかの値で表しますよね？それは、値を取り、何らかの計算を行う単なる関数ではありませんか?

の続き(* 2 3)は(+ _ 5)

call/cc関数を使用せずにここで使用するポイントは何kですか?

Scheme では、a から取得した継続を実行するcall/ccと、その最初の呼び出し/cc に効果的にジャンプして戻り、保存された呼び出しスタックが復元されます。

Haskell の学習を始めたばかりで、理解する方法を理解しようとしていますcallCC。それはcallCC、Scheme の理解という観点から理解しようとすることcall/ccです。の実装callCCは

私が知る限り、保存または復元されたコール スタックに関しては何も言及されていません。SchemecallCCのcall/cc.

編集:誰かが以下をHaskellに翻訳できれば、理解に役立つでしょう。

次の Haskell の関数の例quuxと、継続モナド および の定義を考えてみましょうcallCC。

私がこの例を理解しているように。do ブロックは次のように考えることができます。

kそして、 whichの定義から\a -> cont $ \_ -> h a、上記では\x -> runCont ((\_ -> return 25) x) c、アンダースコアで無視される引数に渡されていることがわかります。アンダースコア引数は決して使用されないため、最終的にreturn 25は事実上「無視」されます。そのため、遅延評価から評価されることはありません。

callCCしたがって、この実装は基本的に遅延評価に強く依存していると言えます。callCC厳密な (非遅延) 関数型言語でこれを行うにはどうすればよいでしょうか?

Clojure のcore.async ライブラリには、ブロックをラップしてブロック IO を処理するチャネルを作成するステート マシンを作成するマクロがあります。go

これは、 C#とGo-lang の goroutinesでモデリングし ているようです。async

The Seasoned Schemerでは、継続を渡すためのテクニックについて説明しています。(これは call/cc に基づいているようです)。また、Clojureの区切られた継続に関するDavid Nolenのライブラリも見られます。

ここでは、C#asyncを「現在の継続を伴う呼び出し」と表現しています。

私の質問は、Clojure の core.async を「継続渡しスタイル」と記述できるかということです。

または、「継続」(区切られたものと区切られていないもの) はオーバーロードされた用語ですか?

編集: 追加の注意事項 - David Nolen は、core.async に対して wrt を言っています:

go ブロックの内部では、継続渡しスタイルでコードを手動で記述する必要がないように、これらのことを同期的に実行できるという錯覚を与えます。

The Seasoned Schemerを読んだ後、私はcall/ccきちんと理解できたと感じました。しかし、いくつかの WOW トリックを見た後、call/cc私が間違っていることがわかりました。

それは私の理解と完全に一致します。call/cc電話に出たとき、プログラムの状態を保存しているだけだと思います。関数でその隣の関数を呼び出します。その関数 ( k) がどこかから呼び出された場合(call/cc ...)、指定されたパラメーターで全体を置き換えるだけです。上記のプログラムもそのように機能したようです

しかし、

3 回呼び出すnextと、0、1、および が生成され'doneます。つまり、それによって与えられstateた関数を使用すると、プログラムの状態が復元されませんでした。私はそれを理解しようとしたことをあなたに示しました。kgenerator

call/ccでは、実際にはどのように機能するのでしょうか。