раз - монада, два - монада
Nov. 28th, 2012 09:34 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
sassa_nfВот есть у меня монада Console. Теперь среди нескольких операций над состоянием Console мне нужно выполнить что-то в IO. И чо? Теперь вместо (Console a) мне нужно везде делать (Console (IO a))? А потом как? (Console (IO (ST (RWS (IO (Console (... a)))?
Или чё, просто ReaderWriter всем раздать?
Или чё, просто ReaderWriter всем раздать?
