Аннотация:
Данная статья представляет обзор системы типов, которая отражает тенденцию конвергенции процедурной, объектно-ориентированной, функциональной и параллельной парадигм программирования, базирующейся статической проверке типов с использование их автоматического вывода и возможностью гарантии целости типов при выполнении. Ключевым аспектом системы типов является ее базирование на 2х атомарных константах и выводах всех остальных типов из этого базиса.
Ключевые слова:объект, константный объект, тип, юнит, класс, модуль, интерфейс, конформность типов, согласованность типов, преобразования типов, процедуры установки значений, объекты ссылки и объекты значения, понятие неизменяемости
Полный текст:
PDF файл (402 kB)