Труды института системного программирования РАН
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


Труды ИСП РАН:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Труды института системного программирования РАН, 2022, том 34, выпуск 3, страницы 13–30
DOI: https://doi.org/10.15514/ISPRAS-2022-34(3)-2 (Mi tisp690) 		 
Unified type system for the modern general-purpose programing language
[Унифицированная система типов для современного языка программирования общего назначения]

A. Kanatov, E. Zouev

Innopolis University
PDF полного текста (402 kB)
DOI: https://doi.org/10.15514/ISPRAS-2022-34(3)-2
Аннотация: Данная статья представляет обзор системы типов, которая отражает тенденцию конвергенции процедурной, объектно-ориентированной, функциональной и параллельной парадигм программирования, базирующейся статической проверке типов с использование их автоматического вывода и возможностью гарантии целости типов при выполнении. Ключевым аспектом системы типов является ее базирование на 2х атомарных константах и выводах всех остальных типов из этого базиса.
Ключевые слова: объект, константный объект, тип, юнит, класс, модуль, интерфейс, конформность типов, согласованность типов, преобразования типов, процедуры установки значений, объекты ссылки и объекты значения, понятие неизменяемости
Тип публикации: Статья
Язык публикации: английский
Образец цитирования: A. Kanatov, E. Zouev, “Unified type system for the modern general-purpose programing language”, Труды ИСП РАН, 34:3 (2022), 13–30
Цитирование в формате AMSBIB
\RBibitem{KanZou22}
\by A.~Kanatov, E.~Zouev
\paper Unified type system for the modern general-purpose programing language
\jour Труды ИСП РАН
\yr 2022
\vol 34
\issue 3
\pages 13--30
\mathnet{http://mi.mathnet.ru/tisp690}
\crossref{https://doi.org/10.15514/ISPRAS-2022-34(3)-2}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/tisp690
  • https://www.mathnet.ru/rus/tisp/v34/i3/p13
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Труды института системного программирования РАН
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2025