問題解答

問2.54

(define (equal? a b)
  (cond
   ((and (eq? a ()) (eq? b ())) #t)
   ((eq? (car a) (car b)) (equal? (cdr a) (cdr b)))
   (else #f)))

(equal? '(this is a list) '(this is a list))
(equal? '(this is a list) '(this (is a) list))

問2.55
” で quote として解釈されるため。

→不正解。

”abracadabra は (quote (quote abracadabra)) と等価。

本文

2.3.2 記号微分
ここはちょっと感動。ものすごく簡単なルールと実装で記号微分が実現できている。

今日は本のコードを写経して動作確認しておわり。