자동차 세트 가능! 그리고 set-cdr! 매크로로 구현 되나요?

Question

set-car!과 set-cdr!이식 가능하게 매크로를 Scheme에서 set!을 사용하여 매크로로 구현할 수 있습니까? 또는 기본 스토리지 시스템에 특별한 액세스가 필요합니까?

나는 내 자신의 Scheme 인터프리터를 구현하고 있기 때문에 묻고 있는데, 나는 가능한 한 많은 코드를 갖고 싶다. set-cdr!에

내 첫 번째 시도했다 :

(define-syntax set-cdr! 
    (syntax-rules() 
    ((set-cdr! location value) 
    (set! location (cons (car location) value))))) 

이 대부분 작품,하지만 원형 목록에 대한 : 하나 나에게 도움이되지 않았다 let에서 매크로 몸을 포장

#; mickey> (define x (list 1 2)) 
#; mickey> x 
(1 2) 
#; mickey> (set-cdr! x x) 
#; mickey> x 
(1 1 2) 

때문에 (set! (cons (car location) value) 일 때 value은 이미 '(1 2)으로 평가되었습니다.

(set! location (cons (car location) value)) 

식 (cons (car location) value)에서

는

Answer 1

새로운 쌍을 할당한다.

set-cdr!의 목적은 기존 쌍을 변경하는 것입니다.

따라서 set-cdr!을 구현하려면 기본 저장소에 "특별한"액세스가 필요합니다.

Answer 2

다음은 Cons, Car, Cdr, Set-car!를 구현 한 예입니다. 및 Set-cdr! 클로저 사용.

Answer 3

기본적으로 설정! 세트없이!,하지만 나는 당신이 set-car를 구현할 수 있다고 생각하지 않는다!/set-cdr! 쌍을 변경하거나 쌍을 시뮬레이트하지 않고 (예 : soegaard의 예)

Scheme에서 Scheme 구현을하고있는 것처럼 보였으므로 set-car!/set-cdr을 사용했을 것입니다! 통역사에서 구현하거나 전혀 구현하지 않았습니다. 나는 처음부터 기본 최소 구현을 가지고 추가로 향상시키기 위해 정의, if, quote, pair?, eq ?, cons, car 및 cdr (The roots of LISP과 비슷하지만 더 많은 설계)과 함께 시작했을 것입니다. 어쨌든

.. 귀하의 구현, 당신이이 일을 할 수 있어야 구현하는 경우 :

(define odds (list 1 3 5 7 9 11)) 
(set-car! (cddr odds) #f) 
odds 
===> (1 3 #f 7 9 11)