AV
Не знаю
Size: a a a
2020 May 09
AV
Была разница, но сходу не скажу
к
хм, так type X a = (Y a, Z a) прекрасно работает с ConstraintKinds, зачем нужно делать класс?
это позволит делать локальные для модуля алиасы, где у всех функции одни и те же эффекты, и существанная проблема от бойлерплейтов эффектов отпадает, написать один алиас на модуль не проблема
AV
а как посмотреть версии используемых зависимостей в new-build yе делая фриз?
A
а как посмотреть версии используемых зависимостей в new-build yе делая фриз?
cabal-plan поставь
AV
не хочу ничего ставить
MK
Тебе приходится всё рефакторить когда добавляешь эффект!
Ну, да
AV
Вот это одна из причин почему mtl-style протекает
AV
по утверждению статьи
MK
У меня асинки гоняются
R
Вот это одна из причин почему mtl-style протекает
и это спорное (потому что можно определить алиасы), но валидное утверждение. Но вот говорить, что фримонадки — это единственное решение — это неверное утверждение. В моем ответе я как раз и показал, как написать эквивалентный фримонадочному код, только с меньшим количество бойлерплейта (и скорее всего он еще и быстрее, потому что нет промеужточного представления)
MK
Для этого есть MonadTaskRunner, параметризованный типом таски
MK
В каждой ручке свой констрейнт
MK
И они друг про друга не знают
MK
Мне кажется удобно