1
Дата отгрузки на данный момент неизвестна.
Товар закончился у основного поставщика, и, после получения заказа от вас, мы закажем его у других поставщиков. Мы не можем гарантировать выполнение данного заказа, поэтому настоятельно не рекомендуем заказывать данный товар, используя предоплату (банковский перевод и т.п.). Заказ на такой товар действителен в течение 3 недель (если в течение 3 недель товар не придет, заказ будет отменен). Однако, это не означает, что товар нельзя заказать вновь, поскольку в некоторых случаях возможны и более поздние поставки.
Технические характеристики
"Аппликативные вычислительные системы" или ABC, включают системы исчислений объектов, основанные на комбинаторной логике и лямбда-исчислении. Единственное, что существенно разрабатывается в этих системах - это представление об объекте.
В комбинаторной логике единственный метаоператор - аппликация, или, по иной терминологии, приложение одного объекта к другому. В лямбда-исчислении два метаоператора - аппликация и функциональная абстракция, позволяющая связывать одну переменную в одном объекте.
Возникающие в этих системах объекты ведут себя как функциональные сущности, имеющие следующие особенности: (1) число аргументных мест, или арность объекта, заранее не фиксируется, но проявляет себя постепенно, во взаимодействиях с другими объектами; (2) при конструировании составного объекта один из исходных объектов - функция, - применяется к другому - аргументу, - причем в других контекстах они могут поменяться ролями, то есть функции и аргументы рассматриваются как объекты на равных правах; (3) разрешается самоприменимость функций, то есть объект может применяться сам к себе. ABC дают основания аппликативному подходу к программированию. Апппикативный компьютинг предполагает комбинационное построение вычисления как относительно самостоятельного блока, пользуясь уже имеющимися блоками вычислений, причем все переменные в каждом блоке вычисления связаны, а сам он - замкнут.
Для осуществления аппликативного компьютинга применяют ABC.