SICP по-русски

Вот теперь мы сведем сложение и умножение фактически к одному процессу. Разница в реализации будет минимальная, что подтверждает близость этих понятий.

Сначала запишем процедуру accumulate в двух вариантах, порождающих соответственно рекурсивный и итеративный процессы.

Рекурсивный вариант:

(define (accumulate combiner null-value term a next b) 
  (if (> a b) 
      null-value 
      (combiner (term a) 
                (accumulate combiner null-value term (next a) next b))))

Итеративный вариант:

(define (accumulate combiner null-value term a next b) 
  (define (iter a accumulator) 
    (if (> a b) 
        accumulator 
        (iter (next a) 
              (combiner accumulator (term a))))) 
  (iter a null-value))

Сумма и произведение будут выражаться через накопление (аккумуляцию) следующим образом:

(define (sum term a next b) 
  (accumulate + 0 term a next b))

(define (product term a next b) 
  (accumulate * 1 term a next b))

Правда, красиво?