Combinators: objects for knowing the structure of computing. Atomic and molecular granularity of computing environment

V. E. Wolfengagen ; L. Yu. Ismailova ; S. V. Kosikov ; A. D. Laptev ; V. N. Nazarov ; V. V. Roslovtsev ; I. S. Safarov ; A. L. Stepanov

Vestnik Udmurtskogo universiteta. Matematika, mehanika, kompʹûternye nauki, no. 2 (2009), pp. 132-146

Résumé

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.

Détail

Keywords: combinatory logic, computing, applicative environment, embedded computational systems.