На этом шаге мы рассмотрим понятия аппликативного и функционального программирования.
Будем различать аппликативное и функциональное программирование.
Аппликативный стиль основан на использовании при построении текста программы понятий "функция" и "аппликация" (применение функции); функционалы при этом моделируются.
Функциональный стиль основан на использовании понятий "функция" и "функционал"; функционалы при этом уже заданы. Это программирование не нуждается в использовании переменных, поэтому вычисления осуществляются применением функционалов к функциям и значениям.
Замечание (важное). Вне зависимости от используемого стиля применение исчисления комбинаторов к функционалам позволяют осуществлять эквивалентные (по семантике) преобразования программ.
На следующем шаге мы рассмотрим понятие "функционал".
