エントリーの編集

エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
# valuesをcall/ccで定義できる理由がよく分かりません。誰か対応するcall-with-valuesを見せてください... # valuesをcall/ccで定義できる理由がよく分かりません。誰か対応するcall-with-valuesを見せてください みずぴー日記 call/cc版valuesに対応するcall-with-valuesがどうやって定義されるのかはよく分からないですが、call-with-valuesがあると継続が複数の引数をとるようになることを処理系が知ってなければいけないと思うので、やっぱりScheme上では定義できない気がしてます。 call-with-valuesをとりあえずブラックボックスとしておいて継続が複数の引数をとりうるとすれば、valuesがcall/ccで定義できるのは以下のように説明できるんじゃないでしょうか。ただし、説明は自分の直観的理解に基づいているので内容が不正確な可能性があります。あしからず。ツッコミ歓迎です。 たとえば次のようなコードを考える。 (define (