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

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск

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

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

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

АВС дают основания аппликативному подходу к программированию[2].

См. также[править | править вики-текст]

Источники[править | править вики-текст]

  1. Вольфенгаген В. Э. Методы и средства вычислений с объектами. Аппликативные вычислительные системы. — М.: JurInfoR Ltd., АО «Центр ЮрИнфоР», 2004. — xvi+789 с ISBN 5-89158-100-0.
  2. Бэкус Дж. Можно ли освободить программирование от стиля фон Нейманна? Функциональный стиль и соответствующая алгебра программ. — Лекции лауреатов премии Тьюринга: пер. с англ./Под ред. Р. Эшенхерста. М.: Мир, 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. [В работе отражены программа исследований и философские концепции Х. Б. Карри, заложившего вычислительные модели и дедуктивные средства рассуждений в терминах объектов.]