Прикладные вычислительные системы
Аппликационные вычислительные системы , или АВС, — это системы объектного исчисления, основанные на комбинаторной логике и лямбда-исчислении . [1] Единственное существенное понятие, рассматриваемое в этих системах, — это представление объекта . В комбинаторной логике единственным метаоператором является применение в смысле применения одного объекта к другому. В лямбда-исчислении используются два метаоператора: приложение – то же, что и в комбинаторной логике, и функциональная абстракция , связывающая единственную переменную в одном объекте.
Особенности [ править ]
Объекты, генерируемые в этих системах, представляют собой функциональные сущности со следующими характеристиками:
- количество мест аргументов или арность объекта не фиксированы, но включаются шаг за шагом при взаимодействии с другими объектами;
- в процессе формирования составного объекта один из его аналогов — функция — применяется к другому — аргументу, но в других контекстах они могут менять свою роль, т.е. функции и аргументы рассматриваются на равных правах;
- допускается самоприменение функций, т.е. любой объект можно применить к самому себе.
ACS дают прочную основу для аппликативного подхода к программированию.
исследования Задача
Отсутствие у аппликативных вычислительных систем памяти и чувствительности к истории является основной причиной, по которой они не обеспечивают основу для компьютерного проектирования. Более того, большинство аппликативных систем используют операцию замены лямбда-исчисления в качестве основной операции. Эта операция имеет практически неограниченную мощность, но ее полная и эффективная реализация представляет большие трудности для конструктора машины. [2]
См. также [ править ]
- Прикладной язык программирования
- Категориальная абстрактная машина
- Комбинаторная логика
- Функциональное программирование
- Лямбда-исчисление
Ссылки [ править ]
- ^ Вольфенгаген В.Е. Методы и средства вычислений с объектами. Аппликативные вычислительные системы. — М.: ООО ЮрИнфоР, «Центр ЮрИнфоР», 2004. — xvi+789 с. ISBN 5-89158-100-0 .
- ^ Бэкус, Дж. (1978). «Лекция на премию Тьюринга 1977 года: Можно ли освободить программирование от стиля фон Неймана? Функциональный стиль и его алгебра программ» . Коммун. АКМ . 2 (8): 613–641. дои : 10.1145/359576.359579 . S2CID 16367522 .
Дальнейшее чтение [ править ]
- Хиндли, Дж. Роджер ; Селдин, Джонатан П. , ред. (сентябрь 1980 г.), Х.Б. Карри: Очерки по комбинаторной логике, лямбда-исчислению и формализму , Бостон, Массачусетс: Academic Press , ISBN 978-0-12-349050-6 [Этот том отражает исследовательскую программу и философию Х. Карри , одного из основателей вычислительных моделей и дедуктивной основы рассуждений в терминах объектов.]
- Вольфенгаген, ВЕ (2003). Комбинаторная логика в программировании. Расчеты с объектами на примерах и упражнениях (2-е изд.). ЮрИнфоР. CiteSeerX 10.1.1.62.4421 . ISBN 9785891581265 . OCLC 491339472 .