DB
Кстати Type это же дедовий *?
Size: a a a
2020 December 15
KV
Я просто спросил как это назвать тогда)
'True никак не назвать нормально
DB
'True никак не назвать нормально
понимаю
AA
'True никак не назвать нормально
конструктор типа
JS
терм в языке типов?
JS
конструктор типа
но оно же не конструирует тип
DB
конструктор типа
не понял
KV
конструктор типа
Конструкторами типов уже называют вот эти Type -> Type -> Type
DB
на тайплевеле или нет это уже без разницы
футуристична
KV
на тайплевеле или нет это уже без разницы
Этого не будет никагда!
AA
Конструкторами типов уже называют вот эти Type -> Type -> Type
ну конструкторы бывают без параметров чеб конструкторам типов не быть
KV
ну конструкторы бывают без параметров чеб конструкторам типов не быть
Термы в Type тогда тоже конструкторы?
DB
ну конструкторы бывают без параметров чеб конструкторам типов не быть
звучит логично
KV
Как тогда называть именно Type -> Type -> Type штуки?
AA
Термы в Type тогда тоже конструкторы?
какие термы, литералы и применения семейств всяких?
AA
Как тогда называть именно Type -> Type -> Type штуки?
конструкторы типов