Аппликативные вычислительные системы

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

• 1 Возможности
• 2 Задача исследования
• 3 См. Также
• 4 Ссылки
• 5 Дополнительная литература

Объекты, созданные в этих системах, являются функциональные объекты со следующими характеристиками:

1. количество позиций аргументов или арность объекта не фиксируется, но разрешается шаг за шагом во взаимодействии с другими объектами;
2. в процессе генерации составного объекта один из его аналоги - функция - применяется к другому - аргументу - но в других контекстах они могут изменять свои роли, т.е. функции и аргументы рассматриваются на равных правах;
3. разрешено самоприменение функций, т.е. любой объект может быть применен к самому себе.

ACS дают прочную основу для прикладного подхода к программированию.

Недостаток памяти и чувствительности к истории прикладных вычислительных систем является основной причиной, по которой они не обеспечили основу для компьютерного дизайна. Более того, в большинстве прикладных систем в качестве основной операции используется операция подстановки лямбда-исчисления. Эта операция обладает практически неограниченными возможностями, но ее полная и эффективная реализация представляет большие трудности для разработчика машины.

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

1. ^Wolfengagen VE Методы и средства расчетов с объектами. Аппликативные вычислительные системы. - М.: ЮрИнфоР Ltd., «Центр ЮрИнфоР», 2004. - xvi + 789 с. ISBN 5-89158-100-0.
2. ^Лекция по Премии Тьюринга 1977: Бэкус J. Можно ли вывести программирование из стиля фон Неймана? Функциональный стиль и его алгебра программ. - Комм. ACM, Vol. 2, № 8, 1978. - pp. 613-641

• Hindley, J. Roger ;, ред. (Сентябрь 1980 г.), Х. Б. Карри: Очерки комбинаторной логики, лямбда-исчисления и формализма, Бостон, Массачусетс: Academic Press, ISBN 978-0-12-349050- 6 [Этот том отражает исследовательскую программу и философию Х. Карри, один из создателей вычислительных моделей и дедуктивной основы для рассуждений в терминах объектов.]

• Вольфенгаген, В. Комбинаторная логика в программировании. Вычисления с объектами на примерах и упражнениях. - 2-е изд. - М.: ООО "Центр ЮрИнфоР", 2003. - x + 337 с. ISBN 5-89158-101-9.