Alexey Kanatov - Academia.edu (original) (raw)
Uploads
Conference Presentations by Alexey Kanatov
The paper presents an overview of the type system which supports the convergence of procedural, o... more The paper presents an overview of the type system which supports the convergence of procedural, object-oriented, functional, and concurrent programming paradigms relying on static type checking with smart type inference support and the ability to ensure dynamic type safety as well. The key element of the type system is that it is fully based on just 2 basis constants and all other constructions are derived.
This presentation aims to cover the approach which is based on the statementeverything is an obje... more This presentation aims to cover the approach which is based on the statementeverything is an object. That is why term object is the essential one. Set of operations on objects is fixed; object life cycle has just 3 stages; object immutability is defined. Term attribute is introduced as it is a key part of any object internal structure. Relations between objects are defined. Two atomic objects are introduced as an introduction to constant objects concept. What is class type in the object world? Brief introduction into active objects concept is given.
Incidence matrix and OOP, 2023
Relation between classes and their members can be represented well as a matrix. What can be done ... more Relation between classes and their members can be represented well as a matrix. What can be done with the help of this martix?
Papers by Alexey Kanatov
Proceedings of the Institute for System Programming of the RAS
The paper presents an overview of the type system, which supports the convergence of procedural, ... more The paper presents an overview of the type system, which supports the convergence of procedural, object-oriented, functional, and concurrent programming paradigms relying on static type checking with smart type inference support and the ability to ensure dynamic type safety as well. The key element of the type system is that it is fully based on just 2 basis constants and all other constructions are derived.
Proceedings of the 11th Central & Eastern European Software Engineering Conference in Russia, 2015
This paper gives an overview of modern trends in programming languages evolution and introduces s... more This paper gives an overview of modern trends in programming languages evolution and introduces some concepts targeting to increase the level of suitability and simplicity of design and development of the software with static typing are presented for consideration. In particular, non-traditional approach to the basic building block of the software -- attributes and routines container is presented. Alternative scheme of multiple inheritance as simple and unique method of software reuse extended with multi-types is given. Full solution for dealing with null-pointers and non-initialized variables is presented as well.
Proceedings of the 13th Central & Eastern European Software Engineering Conference in Russia
This paper gives overview of the SLang programming language, its differentiating features like mu... more This paper gives overview of the SLang programming language, its differentiating features like multiple inheritance with conflicts and multiple overriding, modules-classes-types as unified concept together with standalone routines, NULL absence, constant objects, extended overloading and other concepts.
The paper presents an overview of the type system which supports the convergence of procedural, o... more The paper presents an overview of the type system which supports the convergence of procedural, object-oriented, functional, and concurrent programming paradigms relying on static type checking with smart type inference support and the ability to ensure dynamic type safety as well. The key element of the type system is that it is fully based on just 2 basis constants and all other constructions are derived.
This presentation aims to cover the approach which is based on the statementeverything is an obje... more This presentation aims to cover the approach which is based on the statementeverything is an object. That is why term object is the essential one. Set of operations on objects is fixed; object life cycle has just 3 stages; object immutability is defined. Term attribute is introduced as it is a key part of any object internal structure. Relations between objects are defined. Two atomic objects are introduced as an introduction to constant objects concept. What is class type in the object world? Brief introduction into active objects concept is given.
Incidence matrix and OOP, 2023
Relation between classes and their members can be represented well as a matrix. What can be done ... more Relation between classes and their members can be represented well as a matrix. What can be done with the help of this martix?
Proceedings of the Institute for System Programming of the RAS
The paper presents an overview of the type system, which supports the convergence of procedural, ... more The paper presents an overview of the type system, which supports the convergence of procedural, object-oriented, functional, and concurrent programming paradigms relying on static type checking with smart type inference support and the ability to ensure dynamic type safety as well. The key element of the type system is that it is fully based on just 2 basis constants and all other constructions are derived.
Proceedings of the 11th Central & Eastern European Software Engineering Conference in Russia, 2015
This paper gives an overview of modern trends in programming languages evolution and introduces s... more This paper gives an overview of modern trends in programming languages evolution and introduces some concepts targeting to increase the level of suitability and simplicity of design and development of the software with static typing are presented for consideration. In particular, non-traditional approach to the basic building block of the software -- attributes and routines container is presented. Alternative scheme of multiple inheritance as simple and unique method of software reuse extended with multi-types is given. Full solution for dealing with null-pointers and non-initialized variables is presented as well.
Proceedings of the 13th Central & Eastern European Software Engineering Conference in Russia
This paper gives overview of the SLang programming language, its differentiating features like mu... more This paper gives overview of the SLang programming language, its differentiating features like multiple inheritance with conflicts and multiple overriding, modules-classes-types as unified concept together with standalone routines, NULL absence, constant objects, extended overloading and other concepts.