Типы и системы типов используются для обеспечения уровней абстракции в программах.

Концепция типов классифицирует значения, выражения, структуры данных и модули в наборы.

Система типов - это синтаксическая структура для описания, вывода и применения этой классификации. Набор текста и его проверки могут быть выполнены во время компиляции или во время выполнения.

Смотрите также