Аппликативные вычислительные системы - Applicative computing systems

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

Функции

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

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

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

Задача исследования

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

Смотрите также

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

использованная литература

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

дальнейшее чтение

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

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