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

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

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

целые типы

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

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

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

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

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

массивы

записи

кортежи

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

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

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

подтипы

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

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

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

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

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

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

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

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

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

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