Unified type system for the modern general-purpose programing language
https://doi.org/10.15514/ISPRAS-2022-34(3)-2
Abstract
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.
About the Authors
Alexey Valer’evich KANATOV
Innopolis University
Russian Federation
Russian Federation
Engineer-researcher, Magister in computer science, chief academic consultant at Huawei since 2019
Eugene ZOUEV
Innopolis University
Russian Federation
Russian Federation
Professor in the Innopolis University, Russia, and the head of the laboratory for programming languages and compilers
References
1. Clemens A. Szyperski. Import is Not Inheritance. Why We Need Both: Modules and Classes. Lecture Notes in Computer Science, vol. 615, 2006, pp. 19-32.
2. International Standard: ISO/IEC 8652:2012 Information technology – Programming Languages – Ada.
3. Bertrand Meyer. Object-Oriented Software Construction, Second Edition. Pearson College Div., 2000, 1296 p.
4. International Standard: ISO/IEC 10514-2:1998 Information technology – Programming Languages – Modula-2.
Review
For citations:
KANATOV A.V., ZOUEV E. Unified type system for the modern general-purpose programing language. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2022;34(3):13-30. https://doi.org/10.15514/ISPRAS-2022-34(3)-2
Email this article 