Все выпуски

В повседневном компьютинге над сущностями выполняются операции, на внутреннюю структуру которых обращается мало внимания. Вместе с тем многие обычные операции состоят из более примитивных конструкций, соединенных посредством способа комбинирования. Взаимодействие конструкций осуществляется в среде «аппликативного взаимодействия», а изучение свойств этой среды позволяет понять природу вычислений.
В настоящей работе основное внимание уделено выяснению технологических особенностей вычислений с объектами. Их взаимодействие рассматривается в аппликативной среде, что позволяет выяснять внутреннюю структуру обычных операций, знание которой позволяет понять их свойства. Обсуждается выбор исходных константных сущностей, считающихся исходными и называемыми комбинаторами. Эти исходные сущности используются как основные «строительные блоки, вступающие в аппликативной среде во взаимодействие друг с другом. В результате взаимодействия возникают конструкции, дающие представительные наборы обычных операторов и погруженные вычислительные системы.

In everyday computing the entities are involved into operations whose inner structure is not paid much of attention. Nevertheless many of usual operations consist of more primitive constructs combined by a mode of combining. An interaction of constructs take place within environment of «applicative interaction» and studying the properties of this environment allows to get familiar with the nature of computations.
This paper pays main attention to knowing the technological features of computations with objects. Their interaction is assumed in applicative environment allowing to know the intrinsic structure of usual operations and this knowledge allows to know their properties in turn. The choice of primary constant entities is discussed and these entities are assumed as initial and are referred to as combinators. These primary entities are used as main "building blocks" participating in interaction each with other in the applicative environment. This interaction results in the constructs giving rise to the representative sets of usual operators and embedded computational systems.