раз - монада, два - монада

[sassa_nf]

Вот есть у меня монада Console. Теперь среди нескольких операций над состоянием Console мне нужно выполнить что-то в IO. И чо? Теперь вместо (Console a) мне нужно везде делать (Console (IO a))? А потом как? (Console (IO (ST (RWS (IO (Console (... a)))?

Или чё, просто ReaderWriter всем раздать?

Comments

[juan-gandhi.livejournal.com]

О, вечная проблема некоммутирующих монад! Зефиров их любит.

[sassa-nf.livejournal.com]

Чё, уже? Что-то быстро я в них упёрся. Я что-то не так делаю?

[sassa-nf.livejournal.com]

о, а ещё не слишком ли сумасшедшая идея - в конце произвольного вычисления сделать "tail call" в Cont, которому передать continuation из монады "уровнем выше".

[udpn.livejournal.com]

Да не, так и должно быть.

Просто есть такая хорошая идея, брать каждую пачку из монад, которые нам нужны для некоторой цели, делать из неё трансформер и определять несколько примитивов. Например, State = Reader + Writer. С точки зрения шинковки семантики State не нужен вовсе.

[sassa-nf.livejournal.com]

ага, понял, спасибо.