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

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

Аппликативные вычислительные системы, или АВС, включают системы исчислений объектов, основанные на комбинаторной логике и ламбда-исчислении[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. [В работе отражены программа исследований и философские концепции Х. Б. Карри, заложившего вычислительные модели и дедуктивные средства рассуждений в терминах объектов.]

Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Полезное


Смотреть что такое "Аппликативные вычислительные системы" в других словарях:

  • Системы типизации — в достаточной степени развиты в современных языках программирования и отражают общую технику использования объектов. При этом считается, что имеется две системы объектов, причем элементам одной из них ставятся в соответствие элементы другой. В… …   Википедия

  • Аппликативный подход к программированию — Аппликативный подход к написанию программы состоит в систематическом осуществлении применения одного объекта к другому. Результатом такого применения вновь является объект, который может участвовать в применениях как в роли функции, так и в роли… …   Википедия

  • Аппликативное программирование — Аппликативный подход к написанию программы состоит в систематическом осуществлении применения одного объекта к другому. Результатом такого применения вновь является объект, который может участвовать в применениях как в роли функции, так и в роли… …   Википедия

  • Вольфенгаген, Вячеслав Эрнстович — Эту статью следует викифицировать. Пожалуйста, оформите её согласно правилам оформления статей …   Википедия

  • Вольфенгаген — Вольфенгаген, Вячеслав Эрнстович Вольфенгаген Вячеслав Эрнстович Дата рождения: 30 марта 1948(1948 03 30) (62 года) Гражданство …   Википедия

  • Вольфенгаген, Вячеслав — Вольфенгаген Вячеслав Эрнстович Дата рождения: 30 марта 1948(19480330) Гражданство:  Россия Научная сфера: Компьютерные науки …   Википедия

  • Вольфенгаген Вячеслав Эрнстович — Дата рождения: 30 марта 1948(19480330) Гражданство:  Россия Научная сфера: Компьютерные науки …   Википедия

  • Подстановка — Это статья о подстановке как о синтаксической операции над термами. Возможно, вас интересует перестановка. В математике и компьютерных науках подстановка  это операция синтаксической замены подтермов данного терма другими термами, согласно… …   Википедия

  • Категориальная абстрактная машина — Для улучшения этой статьи желательно?: Исправить статью согласно стилистическим правилам Википедии. Категориальная абстрактная машина (КАМ) это модель вычисления программы[1], в которой сохраняются особенности аппликативного, функционального либо …   Википедия

  • Яцук, Виктор Яковлевич — В Википедии есть статьи о других людях с такой фамилией, см. Яцук. Виктор Яцук Дата рождения: 6 октября 1952(1952 10 06) (60 лет) Страна …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
… Нажмите правой клавишей мыши и выберите «Копировать ссылку»