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

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

См. Также

• Использование типов
  • преобразование типов
  • преобразование типов
  • typedef
  • полиморфизм
  • вывод типа , Hindley- милнер
• системы типов
• теория типов
• тип -safety
• Виды типов в языках программирования
  • примитивных типов
  • класс
  • ] struct
  • перечисления
  • интерфейсы , черта , миксины
  • алгебраические типы данных
  • гад
  • конструктор типов
  • ] анонимные типы
  • делегаты
• Отношения между типами
  • наследование ]
  • классы типов
  • параметрические полиморфы sm
  • дженерики
  • границы типов
• Другие значения; использует «тип» вне языков программирования
  • прототип
  • doctype
  • file-type
  • content-type , mime-types
  • гарнитура