Monad transformers

[lomeo]

ivan-gandhi: Вот этот факт, некоммутирование монад, по-моему, является одной из причин, почему программирование не является тривиальным занятием.

Comments

[nivanych]

> почему программирование не является тривиальным занятием.

почему pure-functional-программирование не является тривиальным занятием.

[lomeo]

В императивном монады начали коммутировать? :-)

[nivanych]

;-)
Нет. В таком случае, в чисто функциональном программировании было бы хорошо, а что там с императивным, я не знаю.

[maxim]

Уже закрыли эту тему. Байер и его студенты. Киселев. И в индрисе Эдвин Брейди.
Непонял нихуя твой Иван Ганди.
Монадные трансформеры была ошибка пионеров Хаскеля.
Уже никто так не делает и делать не будет.
http://eff-lang.org

P.S. И да, в 2012 все это уже было.

[lomeo]

Ага, тот же Иван Ганди на это позже указывал.