АГ
Size: a a a
2020 July 24
KV
KV
Когда хаскель, можно пейперы как через мясорубку пропускать
IK
вау, жизнь посрамляет теорию. Найден джуниор-маугли, выросший в диком GHC:
https://www.reddit.com/r/haskell/comments/ht4b9g/imperative_programming_is_hard/
https://www.reddit.com/r/haskell/comments/ht4b9g/imperative_programming_is_hard/
Да это же не единичный случай
АГ
Я тут картинку-мемчик нашел про Haskell. Кидать?
АГ
Она немного тролльная
t
конечно
АГ
конечно
Окей, админам скажу, что ты разрешил(а) (сорри, пол неясен)
MK
@swamp_agr удаляем?)
D
мем достойный профунктора
A
@swamp_agr удаляем?)
можно
YP
нужен совет, какие существуют хорошие практики объявлять инстансы для тайп констрейнтов
YP
например, я могу объявить что-то в духе
instance MonadBase A a => MyLovelyClass a
но если попробую также добавитьinstance MonadBase B b => MyLovelyClass b
то хоть a и b не пересекаются ввиду функциональных зависимостей — все-равно ошибка дубликата инстанса.YP
я примерно понимаю почему она возникает — сначала объявляем инстанс для произвольного типа, а по месту ghc уже смотрит какие там дополнительные констрейнты
YP
но все-же как объявить инстанс имея в наличии только final tagless интерфейс, например?
YP
А, там ф-ные зависимости a->A, не наоборот, может, дело в этом...
Хотя нет. Так оно должно понимать.
Хотя нет. Так оно должно понимать.
YP
интересно, есть ли констрейнты для fundep
в
имхо, тут одна хорошая практика: вспомогательный ньютайп, объявление инстанса для него, а потом для нужных тебе типов объявлять вручную этот инстанс через deriving via