sicp 3.12 3.13 3.14习题解答

习题3.12，append不是改变函数，不会改变x的结构。append!是改变函数，显然第一个response是(b)，第二个就是(b c d)。图就不画了，画了一次太麻烦了。

习题3.13,利用set-cdr!形成环，比较有意思：
(define z (make-cycle (list 'a 'b 'c 'd)))

z在DrScheme上表示为：
#0=(a b c d . #0#)

形象地展示了一个环，显然运行(last-pair z)将陷入无限递归，因为(null? (cdr x))永远不会为真。

习题3.14，这道题运行下就知道了，是个倒排list的过程，分析下(mystery v)的运行过程：
(loop (a b c d) '())
(loop (b c d) (a '()))
(loop (c d) (b a))
(loop (d) (c b a))
(loop '() (d c b a))

习题进度落后于读书进度，残念。
文章转自庄周梦蝶  ，原文发布时间2007-10-18