ЮрИнфоР >>> Библиотека ЮрИнфоР >>> Внесерийные издания >>>
Аппликативные вычислительные системы: Труды 3-й международной конференции вычислительным системам (АВС'2012), Москва, 26-28 ноября 2012 г.
|
|
|||||||||||||||
За последние двадцать лет одним из наиболее интенсивно разрабатываемых понятий было и остается представление о вычислении (computing), которое оказалось оснащенным комплексом дисциплин, состав и содержание которых непрерывно трансформируется. Только в самое последнее время специальной объединенной комиссией Ассоциации по Вычислительной Технике (Association for Computing Machinery, ACM) и Компьютерным сообществом Института Инженеров по Электротехнике и Электронике (IEEE Computer Society) был представлен отчет, содержащий рекомендации по преподаванию информатики и типовым учебным планам этой дисциплины. Вместе с тем и процесс научного становления этой дисциплины нельзя считать завершенным.
Аппликативные вычислительные системы, или АВС, включают системы исчислений объектов, основанные на комбинаторной логике и ламбда-исчислении. Единственное, что существенно разрабатывается в этих системах -- это представление об объекте. В комбинаторной логике единственный метаоператор -- аппликация, или, по иной терминологии, приложение одного объекта к другому. В ламбда-исчислении два метаоператора -- аппликация и функциональная абстракция, позволяющая связывать одну переменную в одном объекте. Возникающие в этих системах объекты ведут себя как функциональные сущности, имеющие следующие особенности: (1) число аргументных мест, или арность объекта, заранее не фиксируется, но проявляет себя постепенно, во взаимодействиях с другими объектами; (2) при конструировании составного объекта один из исходных объектов -- функция, -- применяется к другому -- аргументу, -- причем в других контекстах они могут поменяться ролями, то есть функции и аргументы рассматриваются как объекты на равных правах; (3) разрешается самоприменимость функций, то есть объект может применяться сам к себе. АВС дают основания аппликативному подходу к программированию.
Аппликативный компьютинг предполагает комбинационное построение вычисления как относительно самостоятельного блока, пользуясь уже имеющимися блоками вычислений, причем все переменные в каждом блоке вычисления связаны, а сам он -- замкнут. Для осуществления аппликативного компьютинга применяют АВС.
См. также
Wolfengagen V.E. Combinatory logic in programming. Computations with objects through examples and exercises.
