Monad transformers

[lomeo]

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

Comments

[nivanych.livejournal.com]

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

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

[lomeo.livejournal.com]

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

[nivanych.livejournal.com]

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

[nivanych.livejournal.com]

;-) Принцип нормальной модульности тоже иногда стоит не выполнять.
Потому, что геморроя в этом конкретном месте немного, а правильно спроектировать именно "вот тут вот" сложно.

За монады в ML я вполне в курсе.

[maxim.livejournal.com]

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

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

[lomeo.livejournal.com]

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