조미 고안자 : Intersectall (49 페이지) 페이지에서

Question

는 의 49 조미 음모, 다음 코드에서 (행 14-16) 무슨 일이 일어나고 있는지 이해할 수 없다 :

(define intersectall 
    (lambda (lset) 
    (letcc hop 
     (letrec 
     ((A (lambda (lset) 
       (cond ((null? (car lset)) (hop '())) 
        ((null? (cdr lset)) (car lset)) 
        (else (I (car lset) 
          (A (cdr lset))))))) 
     (I (lambda (s1 s2) 
       (letrec 
       ((J (lambda (s1) 
         (cond ((null? s1) '()) 
          ((member? (car s1) s2) (J (cdr s1))) ; (14) 
          (else (cons (car s1)     ; (15) 
             (J (cdr s1))))))))  ; (16) 
       (cond ((null? s2) '()) 
         (else (J s1))))))) 
     (cond ((null? lset) '()) 
       (else (A lset))))))) 

내 라인 (14)에서 의심된다

((member? (car s1) s2) (J (cdr s1))) 

(car s1)s2 경우의 부재, 그것은 결과적으로은 consed해서는 안 되는가? 마찬가지로, 라인 15, 17 :

(else (cons (car s1) (J (cdr s1)))))))) 

가s2가 회원이 아니라면, 그것은 결과적으로은 consed하지을 생략하지 않겠습니까?

Answer 1

신경 끄시 고 ... 그것은 오류라고 :

http://www.ccs.neu.edu/home/matthias/BTSS/errata.html

13 장

페이지 49 : A4 : J의 콘드

페이지 (50)의 마지막 두 절 스왑 답변 : Q2 : J의 마지막 두 절에 대한 대답을 교환하십시오