- Аппликативные вычислительные системы
-
Аппликативные вычислительные системы, или АВС, включают системы исчислений объектов, основанные на комбинаторной логике и ламбда-исчислении[1]. Единственное, что существенно разрабатывается в этих системах — это представление об объекте. В комбинаторной логике единственный метаоператор — аппликация, или, по иной терминологии, приложение одного объекта к другому. В лямбда-исчислении два метаоператора — аппликация и функциональная абстракция, позволяющая связывать одну переменную в одном объекте.
Возникающие в этих системах объекты ведут себя как функциональные сущности, имеющие следующие особенности:
- число аргументных мест, или арность объекта заранее не фиксируется, но проявляет себя постепенно, во взаимодействиях с другими объектами;
- при конструировании составного объекта один из исходных объектов — функция, применяется к другому — аргументу, причём в других контекстах они могут поменяться ролями, то есть функции и аргументы рассматриваются как объекты на равных правах;
- разрешается самоприменимость функций, то есть объект может применяться сам к себе.
АВС дают основания аппликативному подходу к программированию[2].
См. также
- Комбинаторная логика
- Лямбда-исчисление
- Лямбда-исчисление с типами
- Категориальная абстрактная машина
- Функциональное программирование
- Программная инженерия
Источники
- ↑ Вольфенгаген В. Э. Методы и средства вычислений с объектами. Аппликативные вычислительные системы. — М.: JurInfoR Ltd., АО «Центр ЮрИнфоР», 2004. — xvi+789 с ISBN 5-89158-100-0.
- ↑ Бэкус Дж. Можно ли освободить программирование от стиля фон Нейманна? Функциональный стиль и соответствующая алгебра программ. — Лекции лауреатов премии Тьюринга: пер. с англ./Под ред. Р. Эшенхерста. М.: Мир, 1993 — с. 84-158.
Литература
- Hindley J.R., Seldin J.P. (Eds.) To H. B. Curry: Essays on combinatory logic, lambda calculus and fromalism. — Academic Press, 1980. [В работе отражены программа исследований и философские концепции Х. Б. Карри, заложившего вычислительные модели и дедуктивные средства рассуждений в терминах объектов.]
Категория:- Аппликативные вычислительные системы
Wikimedia Foundation. 2010.