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-е?
Виды типов? не звучит.
Классы типов? У этого словосочетания вообще значений несколько.
Есть ли какая-нибудь русскоязычная книжка с русскоязычной терминологией по теории типов?