ZK
Ладно, всё равно так никто делать не будет, нет смысла спорить
m == IO :)Size: a a a
2017 December 10
AP
Там же fun.dep. Такой инстанс убъет все другие, которые захотят
AP
И всяко это будет плохое решение хотя бы "по смыслу", т.к. MonadWriter говорит, что нечто ведёт себя как Writer, т.е. собирает произвольный моноид - в этом вся мощь!
AP
Writer, например, отлично решает задачу "запомнить, было ли некое событие за всё время вычисления". Но почему-то часто либо берут State, либо явный флаг протаскивают в параметрах. При этом State - очевидный оверкилл, ибо предоставляет лишние для данной задачи возможности. Такие как неконтролируемое изменение стейта (во
Writer (First a) нельзя забыть, что что-то уже случилось)ZK
"запомнить, было ли некое событие за всё время вычисления" - и как это сделать через MonadWriter?
ZK
какую функцию надо использовать?
AP
Делаешь
tell (First $ Just "foo")AP
То же самое с Last - "запоминаем, когда в последний раз что-то произошло" (если произошло)
AP
Внутри того же парсера иногда хочется запомнить что-то такое
ZK
А как вытащить
w во время вычисления?AP
Зачем?
ZK
не знаю
AP
listen :: m a -> m (a, w)ZK
AP
Только обычно это не нужно. Вот с флагом в стейте надо было бы делать
get >>= \x -> put (x || smth) или modify (|| smth)AP
С Writer же всё просто - ты просто всегда безусловно пишешь (tell), а уж моноид разберётся, что в итоге получится. Разделение обязанностей, асбтракция, все дела
YS
у writer есть censor, который не очень вписывается в моноид
AP
есть, да
YS
мы используем writer в нашем компиляторе, чтобы складывать порождённый код