Аппликативные вычислительные системы - Applicative computing systems
Аппликативные вычислительные системы, или ACS системы объектных исчислений, основанные на комбинаторная логика и лямбда-исчисление.[1] Единственное существенное понятие, которое рассматривается в этих системах, - это представление объект. В комбинаторная логика единственный метаоператор применение в смысле приложения одного объекта к другому. В лямбда-исчисление используются два метаоператора: применение - то же, что и в комбинаторной логике, и функциональная абстракция который связывает единственную переменную в одном объекте.
Функции
Объекты, созданные в этих системах, являются функциональными объектами со следующими характеристиками:
- количество аргументов или арность объекта не фиксируется, но разрешается шаг за шагом во взаимодействии с другими объектами;
- в процессе генерации составного объекта один из его эквивалентов - функция - применяется к другому - аргументу - но в других контекстах они могут менять свои роли, т.е. функции и аргументы рассматриваются на равных правах;
- допускается самоприменение функций, т.е. любой объект может быть применен к самому себе.
ACS дают прочную основу для прикладной подход программированию.
Задача исследования
Недостаток систем прикладных вычислений для хранения и чувствительности к истории - основная причина, по которой они не стали основой для компьютерного проектирования. Более того, большинство прикладных систем используют операцию замещения лямбда-исчисление как их основная операция. Эта операция обладает практически неограниченной мощностью, но ее полная и эффективная реализация представляет большие трудности для разработчика машин.[2]
Смотрите также
- Аппликативный язык программирования
- Категориальная абстрактная машина
- Комбинаторная логика
- Функциональное программирование
- Лямбда-исчисление
использованная литература
- ^ Вольфенгаген В.Э. Методы и средства расчетов с объектами. Аппликативные вычислительные системы. - М .: ЮрИнфоР, ООО «Центр ЮрИнфоР», 2004. - xvi + 789 с. ISBN 5-89158-100-0.
- ^ Лекция по Премии Тьюринга 1977 года: Бэкус Дж. Можно ли освободить программирование от стиля фон Неймана? Функциональный стиль и его алгебра программ. - Комм. ACM, Vol. 2, № 8, 1978. - С. 613-641
дальнейшее чтение
- Хиндли, Дж. Роджер; Селдин, Джонатан П., ред. (Сентябрь 1980 г.), Х. Б. Карри: Очерки комбинаторной логики, лямбда-исчисления и формализма, Бостон, Массачусетс: Академическая пресса, ISBN 978-0-12-349050-6 [Этот том отражает исследовательскую программу и философию Х. Карри, один из основателей вычислительные модели и дедуктивная структура рассуждений в терминах объектов.]
- Вольфенгаген, В. Комбинаторная логика в программировании. Расчеты с объектами на примерах и упражнениях. - 2-е изд. - М .: ООО "Центр ЮрИнфоР", 2003. - x + 337 с. ISBN 5-89158-101-9.