YS
(готовлюсь к закидыванию камнями)
Size: a a a
2020 December 10
AA
а что, уже можно переходить на вебпакнутые vector и containers?
их никогда не будет и виноваты в этом лично вы
JS
я анонимам не доверяю
R
У меня одного это в голове не тайпчекается что ли
там не нужен констрейнт, потому что в
unwrap передается элемент типа Cofree, так что просто берется вто этот инстанс:instance Functor f => ComonadCofree f (Cofree f) where
unwrap (_ :< as) = as
KV
А, понятно, короче это специально чтобы запутать. Спасибо
IK
У меня одного это в голове не тайпчекается что ли
w :: Cofree fKV
Всё-таки хорошо, что в хаскеле есть ограничение на уникальные инстансы
AV
А чо тут on hiring haskellers не обсуждали? o_O
A
Всё-таки хорошо, что в хаскеле есть ограничение на уникальные инстансы
Меня при знакомстве с хаскелем это наоборот больше всего разочаровывало. Из-за необходимости писать "обёртки" (newtype), не несущие смысла, но сильно загромождающие код.
JS
а где множественные инстансы хорошо сделаны? вроде только в Coq?
AV
via решает проблемы
AV
жалко applying нет
JS
Меня при знакомстве с хаскелем это наоборот больше всего разочаровывало. Из-за необходимости писать "обёртки" (newtype), не несущие смысла, но сильно загромождающие код.
а как часто вам нужно больше одного инстанса? особенно при знакомстве
JS
via решает проблемы
via решает проблему множественные инстансов?
JS
MPTC решает частично
AV
via решает проблему множественные инстансов?
applying via - да
JS
а, да
KV
Меня при знакомстве с хаскелем это наоборот больше всего разочаровывало. Из-за необходимости писать "обёртки" (newtype), не несущие смысла, но сильно загромождающие код.
Да меня тоже
Теперь-то уже знаком и уже нет
Теперь-то уже знаком и уже нет
JS
applying via - да
а reflection делает принципиально то же самое (только сложнее)?