Функциональная абстракция

Абстракция отображения
Безымянные функции (аналог лямбда-абстракции) и именованные функции (процедуральная абстракция).
Абстракция вычисления
Параметризация первого элемента аппликации - оператора - и Функциональные аргументы.