LO
А какой смысл в существовании Control.Monad.Trans.Writer.Strict если есть Control.Monad.Trans.Writer.Strict.CPS ?
Исторический
Size: a a a
2020 May 22
AV
Почему нельзя просто поменять реализацию внутри обычного?
MK
доисторический скорее
AV
Чтобы фраза что Writer это монада для создания spaceleak стало несправедливым?
LO
Почему надо было EitherT переименовывать в EcxeptT?
AR
Человек, который писал пакет haskeline, судя по всему — емаксер, поэтому, чтобы добавить в преференсы editMode = Vi нужно создавать файл, а всего-то нужно было экспортировать конструкторы. :(
AV
Почему надо было EitherT переименовывать в EcxeptT?
Там был переход
AV
EitherT требовало MonadError или что-то такое
AV
В общем оно было менее общее, поэтому для обратной совместимости запилили ExceptT
AV
Потом выпилили левый класс типов, и потом сделали EitherT равным ExceptT
MK
Он требовал какого-то дурацкого класса ошибок, кажется
AV
А тут drop-in replacement
AV
LO
Вы с ErrorT путаете
MK
Возможно
LO
EitherT был у кметта в пакете either
AV
а да, хз
LO
А автор трансформеров хотел Except e a = ExceptT e Identity a
LO
При этом никто не пользуется Except
A
