Знаймо

Додати знання

приховати рекламу

Цей текст може містити помилки.

Апплікатівние обчислювальні системи



Апплікатівние обчислювальні системи, або АВС, включають системи числень об'єктів, засновані на комбінаторної логіки та ламбда-численні [1]. Єдине, що істотно розробляється в цих системах - це уявлення про об'єкті. В комбінаторної логіки єдиний метаоператор - аплікація, або, за іншою термінологією, додаток одного об'єкта до іншого. В лямбда-численні два метаоператора - аплікація і функціональна абстракція, що дозволяє пов'язувати одну змінну в одному об'єкті.

Виникаючі в цих системах об'єкти поводяться як функціональні сутності, що мають такі особливості:

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

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


Джерела

  1. Вольфенгаген В. Е. Методи і засоби обчислень з об'єктами. Апплікатівние обчислювальні системи. - М.: JurInfoR Ltd., АТ "Центр ЮрИнфоР", 2004. - Xvi +789 з ISBN 5-89158-100-0.
  2. Бекуса Дж. Чи можна звільнити програмування від стилю фон Нейманом? Функціональний стиль і відповідна алгебра програм. - Лекції лауреатів премії Тьюринга: пров. з англ. / Под ред. Р. Ешенхерста. М.: Мир, 1993 - с. 84-158.

Література

  • Hindley JR, Seldin JP (Eds.) To HB Curry: Essays on combinatory logic, lambda calculus and fromalism. - Academic Press, 1980. [У роботі відображені програма досліджень і філософські концепції Х. Б. Каррі, що заклав обчислювальні моделі і дедуктивні засоби міркувань в термінах об'єктів.]

Цей текст може містити помилки.

Схожі роботи | скачати

Схожі роботи:
Паралельні обчислювальні системи
Обчислювальні методи
Обчислювальні ресурси
Механічні обчислювальні машини
Мікроелектромеханічні системи
Відновлення системи
Бездіяльність системи
Оборонні системи
Системи органів
© Усі права захищені
написати до нас
Рейтинг@Mail.ru