JS
кстати, может, ты знаешь, почему они все имеют форму
(k -> Type) -> [k] -> Type вместо [Type]?Size: a a a
2021 June 16
JS
надоедает же Identity всё время разворачивать
ЗП
можно коерсить
JS
надоедает же коёрсить всё время
JS
а что именно удобно в функторной форме? что я пробовал, неудобно
JS
а в union и fastsum?
к
@int_index расскажешь, почему в union тип обобщен до произвольного функтора?
JS
а в fastsum какой-то вывернутый наизнанку функтор
ЗП
там же просто HList
VZ
Так мало ли что туда положить захочется, например если задать
newtype Applied a f = Applied (f a)
То Union (Applied a) :: [Type] -> Type
newtype Applied a f = Applied (f a)
То Union (Applied a) :: [Type] -> Type
JS
в какой вселенной?
VZ
Как во всяких extensible effects библиотеках
JS
списка не хватает.
но кому это захочется? зачем?
но кому это захочется? зачем?
VZ
Не знаю, я не пользуюсь этой библиотекой
JS
freer не использует union, там свои велосипеды