Preview

Труды Института системного программирования РАН

Расширенный поиск

Унифицированная система типов для современного языка программирования общего назначения

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



Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 2079-8156 (Print)
ISSN 2220-6426 (Online)