SICP ex2-29

本次要求给出一个(equal? x y)的程序，要求能够逐个比较参数的每个元素

我们考虑到元素有序列对以及原子元素,要比较是否相同,序列对同原子无法比较,我们可以将它单独作为一种情况默认为false

然后在考虑原子比较中是否相同,序列对的话则可用递归解决

(define (memq item x)
	(cond ((null? x) '())
		((eq? item (car x)) x)
		(else (memq item (cdr x)))))
(define (equal? x y)
		(cond
			((and (pair? x) (pair? y)) (and (eq? (car x) (car y)) (equal? (cdr x) (cdr y))))
			((not (or (pair? x) (pair? y))) (eq? x y))
			(else #f)))

30本题给出了个式子(''z)

结果为(quote z)

可能这个式子一开始让人困惑,但是其实很简单,我们知道 'z实际上等同于(quote z)

那么我们展开上式(quote (quote z))这样其实就相当于 '(apple banana)的效果了,

同样对于这类式子我们只需展开以后将第一个quote的参数作为symbol即可