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이 연속을 캡처하므로 다시 정의 할 수 있습니다.

두 번째 시도에서 람다로 랩핑하고 f를 동일한 인수로 리팩터링합니다. call/cc이 발생하면 계속 지연되며 따라서 연속에 포함됩니다. 이 버전에서 계속되는 것은 (product ...) 뒤에 오는 것이고, 설정하지 않는 것입니다. product(define product ...)