Аппликативные вычислительные системы, или АВС, включают системы исчислений объектов, основанные на комбинаторной логике и лямбда-исчислении. Единственное, что существенно разрабатывается в этих системах – это представление об объекте. В комбинаторной логике единственный метаоператор – аппликация, или, по иной терминологии, приложение одного объекта к другому. В лямбда-исчислении два метаоператора – аппликация и функциональная абстракция, позволяющая связывать одну переменную в одном объекте. Возникающие в этих системах объекты ведут себя как функциональные сущности, имеющие следующие особенности: (1) число аргументных мест, или арность объекта, заранее не фиксируется, но проявляет себя постепенно, во взаимодействиях с другими объектами; (2) при конструировании составного объекта один из исходных объектов – функция, – применяется к другому – аргументу, – причем в других контекстах они могут поменяться ролями, то есть функции и аргументы рассматриваются как объекты на равных правах; (3) разрешается самоприменимость функций, то есть объект может применяться сам к себе. АВС дают основания аппликативному подходу к программированию.
Аппликативный компьютинг предполагает комбинационное построение вычисления как относительно самостоятельного блока, пользуясь уже имеющимися блоками вычислений, причем все переменные в каждом блоке вычисления связаны, а сам он – замкнут. Для осуществления аппликативного компьютинга применяют АВС.
Дополнительно: Минимальный заказ - 100 рублей (не нужно докупать ненужные книги, просто скажите, что согласны купить эту книгу за 100 рублей). Уважаемые покупатели! НЕ ЖМИТЕ на кнопку "КУПИТЬ СРАЗУ", так как, даже если Вы не купите книгу, продавец заплатит сайту комиссионные. Через кнопку "СПРОСИТЬ" уточните наличие книги, стоимость доставки и др. детали.
Кнопка "СПРОСИТЬ" видна только зарегистрированным пользо... [подробнее]
)
отличное;
В продаже с 24.11.2024
