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