раз - монада, два - монада
Nov. 28th, 2012 09:34 pmВот есть у меня монада Console. Теперь среди нескольких операций над состоянием Console мне нужно выполнить что-то в IO. И чо? Теперь вместо (Console a) мне нужно везде делать (Console (IO a))? А потом как? (Console (IO (ST (RWS (IO (Console (... a)))?
Или чё, просто ReaderWriter всем раздать?
Или чё, просто ReaderWriter всем раздать?