Обсуждение:Вид (теория типов)

что за бред?

Предлагаю переименовать и создать нормальную статью, например с названием "Классификация структур данных(информатика)"

"Вид" это перевод английского kind, и это как раз тип (конструктора) типа. Как можно давать определение вида как "вид типа", я плохо понимаю. Возможно, под "способом конструирования нового типа данных из простейших типов" вы имели в виду алгебраические типы? --Clayrat 16:59, 9 ноября 2011 (UTC)

Будет полезно указывать в скобках английские эквиваленты упоминаемых терминов. ~u 17:01, 9 ноября 2011 (UTC)