Абстракция суммирования и функционал SUM

_b
∑_i=a f(i) — сигма-запись в математике.

Воплощение на языке Коммон Лисп понятия суммы, независящего от вида термов:

(defun sum (f a b)
  (if (> a b)
      0
      (+ (funcall f a) (sum f (1+ a) b))))

f - функциональный параметр.