https://docs.microsoft.com/en-us/dotnet/api/microsoft.codeanalysis.typekind

Есть такой enum у microsoft, который перечисляет "разновидности типов":
Array, Class, Delegate, Dynamic, Enum, Error, FunctionPointer, Interface, Module, Pointer, Structure (Struct), Submission, TypeParameter, Unknown

Но если загуглить слова "разновидности типов", то в русском языке под этим словосочетанием понимают "reference type" vs "value type" (ссылочные типы и типы-значения).

Так как же обобщённо называть те штуки, которые в TypeKind enum-е?
Виды типов? не звучит.
Классы типов? У этого словосочетания вообще значений несколько.

Есть ли какая-нибудь русскоязычная книжка с русскоязычной терминологией по теории типов?

Здравствуйте, Эйнсток Файр, Вы писали:

ЭФ>Так как же обобщённо называть те штуки, которые в TypeKind enum-е?
ЭФ>Виды типов? не звучит.
ЭФ>Классы типов? У этого словосочетания вообще значений несколько.

Предлагаю "сорта типов" по мотивам https://ell.stackexchange.com/a/5622

Здравствуйте, Эйнсток Файр, Вы писали:

ЭФ>https://docs.microsoft.com/en-us/dotnet/api/microsoft.codeanalysis.typekind

Enumeration for possible kinds of type symbols.

Типы типов

Здравствуйте, Эйнсток Файр, Вы писали:

ЭФ>Так как же обобщённо называть те штуки, которые в TypeKind enum-е?
ЭФ>Виды типов? не звучит.
ЭФ>Классы типов? У этого словосочетания вообще значений несколько.

Если разновидность не нравиться можно: семейство типа

_> Если разновидность не нравиться можно: семейство типа

Я думал об этом, но возникают ненужные ассоциации с наследованием (там тоже про семью).

ЭФ>Так как же обобщённо называть те штуки, которые в TypeKind enum-е


Перечисление назовем ЧеЗаТип.

ЭФ>Виды типов? не звучит.
ЭФ>Классы типов? У этого словосочетания вообще значений несколько.
Царство.

В иерархии таксономических категорий тип и отдел находятся выше класса и ниже царства.

ЭФ>>Виды типов? не звучит.
ЭФ>>Классы типов? У этого словосочетания вообще значений несколько.
O>Царство.

В иерархии таксономических категорий тип и отдел находятся выше класса и ниже царства.

Царство перечислений, царство строк, царство массивов. Звучит!

Здравствуйте, rosencrantz, Вы писали:

R>Предлагаю "сорта типов" по мотивам https://ell.stackexchange.com/a/5622

В современном русском неизбежны некоторые аллюзии, ЕВПОЧЯ

Давно прошли те времена, когда сортировали в первую очередь колбасу и кварки.

Здравствуйте, Эйнсток Файр, Вы писали:

ЭФ>https://docs.microsoft.com/en-us/dotnet/api/microsoft.codeanalysis.typekind

ЭФ>Есть такой enum у microsoft, который перечисляет "разновидности типов":
ЭФ>Array, Class, Delegate, Dynamic, Enum, Error, FunctionPointer, Interface, Module, Pointer, Structure (Struct), Submission, TypeParameter, Unknown

ЭФ>Но если загуглить слова "разновидности типов", то в русском языке под этим словосочетанием понимают "reference type" vs "value type" (ссылочные типы и типы-значения).

Задача-то в чём? Как правильно загуглить? Кто будет читать перевод, в каких ситуациях?

ЭФ>Так как же обобщённо называть те штуки, которые в TypeKind enum-е?
ЭФ>Виды типов? не звучит.

Ну, если сферический перевод в вакууме, я бы так и оставил. Кстати, не смешивая в любом контексте с «разновидностями».

ЭФ>Классы типов? У этого словосочетания вообще значений несколько.

ЭФ>Есть ли какая-нибудь русскоязычная книжка с русскоязычной терминологией по теории типов?

это и по-английски звучит коряво, Тип Данных — мой выбор в этом случае.