А
а нельзя сказать что CUE это примерно про это?
а что за CUE?
Size: a a a
2020 February 18
А
похоже на то, да
K
а нельзя сказать что CUE это примерно про это?
В HKT может? Оно статическое, вообще?
А
спасибо большое, поизучаю
AR
похоже на то, да
там еще немного в доках на гитхабе подробностей по имплементации
AR
Kir
В HKT может? Оно статическое, вообще?
статическое. про HKT я рассуждать не умею, неуч, простите )
K
Типы высоких порядков. Это когда генерик-аргумент может иметь свои генерик-аргументы.
Как там с параметризованными типами?
Как там с параметризованными типами?
AR
статическое. про HKT я рассуждать не умею, неуч, простите )
но вообще, во всяком случае в данной имплементации, граница между "статичный" и "динамичный" более зыбкая, чем обычно, вроде
K
как template template classes из плюсов
K
но вообще, во всяком случае в данной имплементации, граница между "статичный" и "динамичный" более зыбкая, чем обычно, вроде
Ну, то есть, динамика
AR
Kir
Типы высоких порядков. Это когда генерик-аргумент может иметь свои генерик-аргументы.
Как там с параметризованными типами?
Как там с параметризованными типами?
я знаю как это рассшифровывается, но рассуждать не умею 🙂
AR
Kir
Ну, то есть, динамика
нет, т.е., то что я написал. если у тебя система открытая, включает в себя и типы и констрейнты и значения, то где заканчивается динамика, где начинается статика?
K
В Агде/Идрисе завтипы, например, но там статика
AR
завтипы такие же типы, это все еще не значения
AR
короче, сек
K
Да в смысле. Их хоть в список пихать можно