к
почему ансейфно? Он вроде как ожидает, что в конце стека будет IO
Size: a a a
2017 December 10
AP
Только Writer "течёт", если что. Ибо маппендит лениво. Поэтому подходит для не слишком больших задач (для парсинга, наверное, ок). И, возможно, лучше сразу брать Strict Writer.
YS
MonadLogger же
YS
Writer хорош только как иллюстрация в учебнике
AP
Если у тебя персер, который разбирает небольшие тексты и не делает слишком уж много бэктрекинга, то Writer'а может хватить вполне
AP
MonadLogger либо будет писать в IO (если взять LoggingT), либо придётся всё равно делать где-то свой Writer (или существующий взять)
AP
Так что выигрыша в случае работы "без IO" особого не будет - только mtl-style стэк
AP
Да и Writer плох по сути только тем, что сбрасывать лог кусками не может (ему просто некуда).
YS
MonadLogger либо будет писать в IO (если взять LoggingT), либо придётся всё равно делать где-то свой Writer (или существующий взять)
DList, говорят, крут. и завернуть его в Strict State. впрочем, я не бенчмаркал
AP
DList может и подойти. Но вокруг него и MonadWriter можно натянуть :)
YS
а если IO, то у MTL выигрыш в том, что IO добавляется снаружи как параметр, а не изнутри как зависимость
AP
Тут ты прав :)
AP
anyway, вопросы по грамотному логированию в условиях concurrency, это тема для общего чата, ИМХО, а не для учебного
AP
Изучающим же полезно поиграться с Writer/WriterT (особенно, если сам его напишешь предварительно)
ZK
Тупой вопрос - чем отличается MonadWriter от MonadLogger?
ZK
типа MonadLogger более специализированный именно под логирование?
AP
Writer что-то пишет. Не обязательно лог - любой Monoid.
ZK
MonadWriter более общий?
AP
Может накапливать кол-во шагов прасера, например. Либо запоминать какой-то факт - с моноидами First/Last
AP
MonadLogger приносит идею именно логирования - log level, текст сообщения, позиция в сорцах