Аппликативный компьютинг

Аппликативный компьютинг предполагает комбинационное построение вычисления как относительно самостоятельного блока, пользуясь уже имеющимися блоками вычислений, причем все переменные в каждом блоке вычисления связаны, а сам он — замкнут. Для осуществления аппликативного компьютинга применяют аппликативные вычислительные системы (АВС), в состав которых включают системы исчислений объектов, основанные на комбинаторной логике и лямбда-исчислении. Единственное, что существенно разрабатывается в этих системах — это представление об объекте. В комбинаторной логике единственный метаоператор — аппликация, или, по иной терминологии, приложение одного объекта к другому. В λ-исчислении два метаоператора — аппликация и функциональная абстракция, позволяющая связывать одну переменную в одном объекте.

Теория категорий

С точки зрения теории категорий, аппликация является частным случаем композиции стрелок: если в категории существует терминальный объект $1$, то стрелки вида $1\to A$ будут значениями типа $A$, а композиция стрелок $v:1\to A$ и $f:A\to B$ — аппликацией $f$ к $v$.

Также в функциональном программировании существует понятие аппликативного функтора, являющегося ослабленной версией монады.

См. также

• Комбинаторная логика
• Лямбда-исчисление
• Лямбда-исчисление с типами
• Категориальная абстрактная машина
• Функциональное программирование
• Суперкомбинаторы
• Модели вычислений
• Теория вычислений