MK
Разве что ИНОГДА ExceptT
Size: a a a
2021 January 21
YS
Мне пока не приголились
YS
Разве что ИНОГДА ExceptT
Ну да
ЗП
MK
Почти все нужные в жизни эффекты описываются просто ридером или, что то же самое, хендл паттерном
MK
(так в диссере и напишу)
MK
ну это вопрос относительный, локально в модулях, особенно если в них чистые функции, стейты, райтеры, все это полезно
В чистом понятно дело, но стейт над ио например какая-то бестолковая вещь
MK
Возможно я слишком категоричен сейчас конечно
YS
Ну, ридер мне не сильно мешает, кажется
YS
Хотя мог бы и без него обойтись)
MK
(представьте, никаких ридеров, никаких liftIO, unliftIO, MonadIO)
Explicit is better than implicit
MK
А как без анлифтов, скажем bracket делается с IP? Они туда волшебным образом прорастут?
MK
но ведь ридер же использую, он же неявно передает env!
Я просто шучу над словами
к
А как без анлифтов, скажем bracket делается с IP? Они туда волшебным образом прорастут?
ну да, они частично применятся просто
MK
То есть то же, что делает анлифтио для ридера, только руками гхц?
MP
В чистом понятно дело, но стейт над ио например какая-то бестолковая вещь
я пользуюсь, это полезно если может быть и стейт над IO, а может быть просто стейт (над Identity) и иногда полезно переключаться с чистого на IO