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

[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".