スキーム - 誰かがこの出力を私に説明できますか？これらの定義された関数で

Question

：

(define (foldr op z ls) 
    (if (null? ls) 
    z 
    (op (car ls) (foldr op z (cdr ls))))) 

(define (snoc x y) (cons y x)) 

と私はこの実行すると：

(foldr snoc '() (list 1 2 3)) 

を、私はこの出力を得る：

=> (((() . 3) . 2) . 1) 

この出力は何を意味するのでしょうか？誰かがそれを私に詳細に説明してもらえますか？ 私はスキームの中のボックスとポインタ表記に関してこの答えを描きます。

Answer 1

ラケットは、cdrがリストでない場合、コンセルを「点線ペア」として印刷します。 DrRacketから

例：

> (list 1 2) 
'(1 2) 
> '(1 . (2 .())) 
'(1 2) 
> '(1 . 2) 
'(1 . 2) 
> (cons 1 2) 
'(1 . 2) 
> (cons 1 '()) 
'(1) 
> (cons '() 1) 
'(() . 1) 

(foldr op z ls)はlsを取り、zとopとconsとnilを置き換えます。 lsは、その後、(foldr op z ls)(cons a (cons b (cons c nil)))であれば、ある

は、(foldr snoc '() (list 1 2 3))は、最も内側のsnocから外側にあなたの方法を作業する

(snoc 1 (snoc 2 (snoc 3 '()))) 

で、あなたの例では

(op a (op b (op c z))) 

ある

(snoc 1 (snoc 2 (cons '() 3))) 

(snoc 1 (cons (cons '() 3) 2)) 

(cons (cons (cons '() 3) 2) 1) 

これは、点線のペア

'(((() . 3) . 2) . 1) 

（DrRacket中）（練習問題として残って図を描く。）