Ответы на вопрос:
примитивные типы, в том числе:
логический тип
целые типы
вещественные типы
ссылочные типы
опциональные типы
обнуляемые типы
композитные типы, в том числе:
массивы
записи
кортежи
абстрактные типы (атд, . adt)
типы
вариантные типы
подтипы
унаследованные типы
объектные типы, то есть объекты, значением которых являются типы — например, переменные типов
частичные типы
рекурсивные типы
функциональные типы, например бинарные функции
универсально квантифицированные типы, такие как параметрические типы
экзистенциально квантифицированные, такие как модули
зависимые типы — типы, зависящие от термов (значений)
уточняющие типы — типы, идентифицирующие подмножества других типов
предопределённые типы (являющиеся фактически структурными, но предоставляемые на правах примитивных) для удобства промышленных разработок, такие как «дата», «время», «валюта» и др.
Популярно: Информатика
-
sofiazahhа20.09.2021 16:36
-
HIppen12.04.2021 22:56
-
aisharamazanovaАйша10.06.2022 07:55
-
Luka201529.09.2020 20:33
-
FCMM23.09.2020 01:47
-
svetlanasen1229.10.2021 03:22
-
Kseniya00000109.12.2021 17:57
-
mikstura7127.05.2022 08:26
-
здрасти200315.08.2022 14:01
-
Veravera00200300404910.03.2021 13:13