Функциональное программирование

Сущность функционального (аппликативного) программирования определена А. П. Ершовым как «…способ составления программ, в которых единственным действием является вызов функции, единственны способом расчленения программы на части является введение имени для функции, а единственным правилом композиции – оператор суперпозиции функции. Никаких ячеек памяти, ни оператора присваивания, ни циклов, ни, тем более, блок-схем, ни передачи управления».

Роль основной конструкции в функциональных языках играет выражение. К выражениям относятся скалярные константы, структурированные объекты, функции, тела функций и вызовы функций. Функция трактуется как однозначное отображение из в , где – множество выражений.