练习2.34
书中一开始有2个式子，一个是原式，一个根据Horner规则构造出的式子。而我们同样也可以将待求得式子写成这种方式，而且可以更进一步——那就是写成Lisp的前序表示：
(+ 1 (* x (+ 3 (* x (+ 0 (* x (+ 5 (* x(+ 0 x) ) ) ) ) ) ) ) )
由此可以观察得出lambda表达式里要做的是：
(+ this-coeff (* x (accumulate ......
通过不断的递归，最终就像上一题中图片所示的一样，accumulate最终会返回一个值，然后就开始计算不再递归了，空间需求也就开始缩小。
(define (horner-eval xcoefficient-sequence)
(accumulate (lambda (this-coeff higher-terms)
(+ this-coeff (* xhigher-terms)))
0
coefficient-sequence))
下面我们来测试一下。
(load “d:\\lisp\\accumulate-2.scm”)
(load “d:\\lisp\\horner-eval.scm”)
(horner-eval 2 ‘(1 3 0 5 0 1))
;Value: 79
