Racketでのcall/ccの面白い動作を説明するには？

Question

combineは、バイナリ演算子binでリストを減らす必要がありますが、述語pred?に失敗した値を検出した場合はexcを返し、その値を検出した場合はリストで計算を実行してはなりません。

これは簡単な問題です。

#lang racket 

(define (id x) 
    x) 

(define (const x) 
    (lambda (_) x)) 

(define (combine pred? bin zero exc) 
    (call/cc 
    (lambda (exit) 
    (letrec 
     ((f (lambda (xs) 
       (if (empty? xs) 
        zero 
        (if (pred? (first xs)) 
         (exit exc) 
         (bin (first xs) (f (rest xs)))))))) 
     f)))) 

(define product 
    (combine zero? 
      * 
      1 
      0)) 

(product '(1 2 3 0 4)) 

コードはほぼ動作しますが、それは非常に微妙な誤差を持っています。

これは、次の例外が発生します：

define-values: assignment disallowed; 
cannot re-define a constant 
    constant: product 

それを動作させるのは簡単です。わずかな変更が必要とされている：

(define (combine pred? bin un zero exc) 
    (lambda (ys) 
    (call/cc 
    (lambda (exit) 
     (letrec 
      ((f (lambda (xs) 
       (if (empty? xs) 
        zero 
        (if (pred? (first xs)) 
         (exit exc) 
         (bin (first xs) (f (rest xs)))))))) 
     (f ys)))))) 

私はこの問題は、ラケットは、定義の継続は関数を定義することですが、誰もがより多くの詳細を与えることができることであることを参照してください？たとえば、どのような構文的変換が関与していますか？あなたがここに持っている必要がありますための

Answer 1

思う：

(define product (combine ....)) 

ここでは、最初(combine ...)を評価し、継続が名前productとして計算値を格納始まるプログラムの残りの部分です。 fからの継続を呼び出すと、すぐにproductの記憶に戻る。

(product '(1 2 3 0 4))を呼び出すと、productがプログラムの続きであり、call/ccが継続をキャプチャしているため、再定義しています。

2回目の試みでは、ラムダでそれをラップし、同じ引数でfを呼び出すというリファクタリングを行います。それはちょうどcall/ccが起こるときに遅れているので、継続に何が含まれていますか？このバージョンでは、継続は(product ...)の後に来るもので、設定はしません。product(define product ...)