Тройка полезных монад

[@alhimik45]

Замечательная статья. Читал ещё в оригинале.

Будете переводить другие статьи с того сайта?

[@AveNat]

Пока не знаю ещё. Просто очень много всего интересного вокруг, что хотелось бы перевести (в первую очередь, чтобы самой как следует вникнуть).

[@tvolf]

Большое спасибо вам за переводы. Благодарю еще раз.

[@AveNat]

Вам спасибо за тёплые слова ^_^

[@maksbotan]

Хоть и выучил эти монады достаточно давно (привет, LYAHFGG), все равно прочитал с удовольствием. Хороший перевод, спасибо.

[@MaxLevs]

Потрясающая статья, надо будет пару раз вдумчиво проштудировать. Правда после таких статей я понимаю, что вообще не знаю Haskell, и что мне ещё вникать и вникать.

[@Vindicar]

Спасибо за статью, но есть один вопрос, который для меня (и не только, судя по стэковерфлоу) напрочь стопорит понимание: как работает ask()?
Я понимаю что делает ask() — возвращает состояние из текущего активного Reader или State.
Я не понимаю как она это делает с точки зрения реализации на императивном языке. В чём магия?

Ни ask(), ни сам Reader вроде как не передаются через параметры функций, которые выполняются в контексте Reader. Тогда это что-то типа замыкания? Reader описывает функцию ask() в глобальной (ну или хотя бы вышележащей) области видимости?

[@Khelevaster]

Продолжая некропостинг: я понял это так, что runReader (тип показывается runReader :: Reader r a -> r -> a) принимает Reader r a и значение типа r и возвращает результат (типа a) применения Reader-а к этому значению r (состоянию).
Так что в Reader-е значение оказывается когда runReader его передаёт, а у него оно появляется, когда мы сами передаём как-нибдуь так runReader greeter "Habr".