Автор(ы) | Исмаилова Л.Ю., ред. |
---|---|
Издатель | ЮрИнфоР |
Год | 2008 |
ISBN | 978-5-89158-157-9 |
EAN | |
Обложка | Обложка |
Формат | 60х84/16 |
Вес (г) | 60 |
Страниц | 48 |
Просмотров | 50 |
Стандарт |
Аппликативные вычислительные системы, или ABC, включают системы исчислений объектов, основанные на комбинаторной логике и лямбда-исчислении. Единственное, что существенно разрабатывается в этих системах - это представление об объекте. В комбинаторной логике единственный метаоператор - аппликация, или, по иной терминологии, приложение одного объекта к другому. В лямбда-исчислении два метаоператора - аппликация и функциональная абстракция, позволяющая связывать одну переменную в одном объекте. Возникающие в этих системах объекты ведут себя как функциональные сущности, имеющие следующие особенности: (1) число аргументных мест, или арность объекта, заранее не фиксируется, но проявляет себя постепенно, во взаимодействиях с другими объектами; (2) при конструировании составного объекта один из исходных объектов - функция, - применяется к другому - аргументу, - причем в других контекстах они могут поменяться ролями, то есть функции и аргументы рассматриваются как объекты на равных правах; (3) разрешается самоприменимость функций, то есть объект может применяться сам к себе. ABC дают основания аппликативному подходу к программированию. Апппикативный компьютинг предполагает комбинационное построение вычисления как относительно самостоятельного блока, пользуясь уже имеющимися блоками вычислений, причем все переменные в каждом блоке вычисления связаны, а сам он - замкнут. Для осуществления аппликативного компьютинга применяют ABC.
Хотите эту книгу/словарь/учебник в переплёте или в формате fb2 epub mobi doc docx djvu txt pdf? Нажимайте ниже ссылки или кнопки [В магазин] или [Читать].