Типы и системы типов используются для обеспечения уровней абстракции в программах.
Концепция типов классифицирует значения, выражения, структуры данных и модули в наборы.
Система типов - это синтаксическая структура для описания, вывода и применения этой классификации. Набор текста и его проверки могут быть выполнены во время компиляции или во время выполнения.
Смотрите также
- Использование типов
- type-systems
- type-theory
- type-safety
- Виды типов в языках программирования
- Отношения между типами
- Другие значения; использование «типа» вне языков программирования