AV
Но теперь ты знаешь бесполезную информацию и как сделать свою лифтилку если библиотеки не устраивают
Size: a a a
2020 May 06
MP
пока вроде все понятно 🙂
MP
тогда зачем существует и unlift и monad-control?
MP
вернее так: почему у первого (если я правильно понимаю) область определения меньше?
AV
monad-control сложный
AV
Он простой пока ты не пытаешься написать инстанс
AV
А когда пытаешься, то идёшь и смотришь на ошибки компилятора и пытаешься его убедить, что всё ок
AV
Даже автор либы так делал
AV
В общем сложная либа, часть сложности от того, что базовой монадой не только IO может быьт
AV
А например STM
AV
Снойман решил, что это слишком сложно, мол и трансформеры не всегда хочешь таскать а ReaderT IORef хватит всем, и базоваой монадой IO
AV
И запилил более простую библиотеку
AV
Поидее и более быструю
MP
ну вот я как раз сейчас заменил unlift.async на тот самый и вроде оно дадже начинает компилироваться
MP
при том, что вроде ничего такого экстаординарного не делаю
MP
и да, оно компилируется и работает
MP
супер, спасибо за объяснения
AV
Круто! Хорошо, что полезно
AV
А можно как-то с линзами коротко сделать (a,b) -> (a,b,C) ?
MP
ответа не знаю, но зачем? учитывая, что это почти буквально запись лямбды