Процедуральная абстракция как вид абстракции отображения

Рассмотрим определение

(defun good-enough-p (guess x)
  (<= (abs (- (square guess) x)) 0.001))

Можно трактовать square как чёрный ящик. Тогда о деталях её реализации можно сейчас забыть и рассмотреть их потом.

Такое поименование параметризованного выражения (тела) осуществимо во всех языках программирования и известно под называнием процедуральной абстракции.

Именованные и безымянные функции — средства абстракции отображения.