примитивные типы, в том числе:

логический тип

целые типы

вещественные типы

ссылочные типы

опциональные типы

обнуляемые типы

Композитные типы, в том числе:

массивы

записи

кортежи

абстрактные типы (АТД, англ. ADT)

алгебраические типы

вариантные типы

подтипы

унаследованные типы

объектные типы, то есть объекты, значением которых являются типы — например, переменные типов

частичные типы

рекурсивные типы

функциональные типы, например бинарные функции

универсально квантифицированные типы, такие как параметрические типы

экзистенциально квантифицированные, такие как модули

зависимые типы — типы, зависящие от термов (значений)

уточняющие типы — типы, идентифицирующие подмножества других типов

Предопределённые типы (являющиеся фактически структурными, но предоставляемые на правах примитивных) для удобства промышленных разработок, такие как «дата», «время», «валюта» и др.