sicp 习题2.33

map 的原始定义

(define (map p sequence)
    (if (null? sequence)
        '()
        (cons (p (car sequence))
              (map p (cdr sequence)))))

accumulate 的定义

(define (accumulate op initial sequence)
  (if (null? sequence)
      initial
      (op (car sequence)
          (accumulate op initial (cdr sequence)))))

原题

(define (map p sequence)
  (accumulate (lambda (x y) <???>) nil sequence))

将原题中的 accumulate 用定义daihuan代换 (lambda (x y) <???>)  => op   nil => initial   sequence => sequence 

得到下面这段代码

(define (map p sequence)
  (if (null? sequence)
      '()
      ((lambda (x y) <???>) (car sequence)
      (accumulate (lambda (x y) <??>) '() sequence))))

通过将这个展开式和原本  map  的定义对比可以看出，我们只要让  (lambda (x y) <??>)  中的  <??>  的作用等同于  (cons (p x) y)  即可，因此，这个答案的解为  (lambda (xy) (cons (p x) y))  。

以下是完整定义:

(define (map p sequence)
    (accumulate (lambda (x y) 
                    (cons (p x) y)) 
                '()
                sequence))