AP
MonadWriter более общий?
Они просто для разного. Но на Writer можно сделать простое протоколирование, раз уж список строк - моноид
Size: a a a
2017 December 10
ZK
Короче для логирования MonadWriter - плохая идея
AP
Инстанс
как бы говорит нам "Writer тоже ок" :)
(MonadLogger m, Monoid w) =>
MonadLogger (WriterT w m)
как бы говорит нам "Writer тоже ок" :)
AP
Для задач логирования длительных процессов Writer не подходит, да. Потому что лог копится в памяти. Но зато - IO нет.
AP
Хорошая идея - абстрагировать логирование через MonadLogger. И запускать вычисление в разных ситуациях с разными "бэкендами логирования" - LoggingT, NoLoggingT, WriterT. В тестах, например, Writer может вполне пригодиться - там удобно иметь лог в виде структуры в памяти
AP
А MonadWriter нужно оставить именно для тех случаев, когда некий конкретный моноид хотим накопить - Sum, First, Last, Any, All, вот это всё
ZK
В принципе MonadWriter может же быть и без накопления
к
а какой тогда профит от него?
ZK
() не копится
AP
Ну нет! В стеке с MonadWriter сама монадка будет абстрагирована, но не моноид!
AP
() получится, только если делать tell (), что и правда странноZK
стой, у tell сигнатура
w -> m()ZK
tell "Hello, world" :: IO ()AP
Мы же пишем
f :: MonadWriter [String] m => m ()
f = do
tell ["foo"]
tell ["bar"]
AP
w всегда известенZK
ну реализацию можно подсунуть такую, что w не будет копиться
AP
Можно, но она не будет соответствовать законам
ZK
это ж type class, tell просто пусть пишет в консоль
AP
Нельзя просто писать в консоль - IO тогда явно понадобится
ZK
instance MonadWriter String IO