Унифицированная система типов для современного языка программирования общего назначения
https://doi.org/10.15514/ISPRAS-2022-34(3)-2
Аннотация
Данная статья представляет обзор системы типов, которая отражает тенденцию конвергенции процедурной, объектно-ориентированной, функциональной и параллельной парадигм программирования, базирующейся статической проверке типов с использование их автоматического вывода и возможностью гарантии целости типов при выполнении. Ключевым аспектом системы типов является ее базирование на 2х атомарных константах и выводах всех остальных типов из этого базиса.
Об авторах
Алексей Валерьевич КАНАТОВРоссия
Инженер-исследователь, магистр, главный академический консультант в компании Хуавей с 2019 года
Евгений Александрович ЗУЕВ
Россия
Профессор университета Иннополис с 2015 года, зав. лабораторией языков программирования и компиляторов
Список литературы
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.
Рецензия
Для цитирования:
КАНАТОВ А.В., ЗУЕВ Е.А. Унифицированная система типов для современного языка программирования общего назначения. Труды Института системного программирования РАН. 2022;34(3):13-30. https://doi.org/10.15514/ISPRAS-2022-34(3)-2
For citation:
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