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

b
i=a f(i) - "сигма-запись" в математике.

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

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

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