Monad transformers

[lomeo]

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

Comments

[nivanych.livejournal.com]

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

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

[lomeo.livejournal.com]

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

[nivanych.livejournal.com]

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

[nivanych.livejournal.com]

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

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