Bulat Ziganshin wrote:
Hello Andrew,
Hmm. Like the IO monad's RealWorld object, which isn't really there?
ST and IO monads are the same beast. in ST, s is free to allow to
create endless amount of independent threads while in IO it fixed to
one type and describes evolution of one thread, synchronized with real
world. look at http://haskell.org/haskellwiki/IO_inside for info about
IO monad trickery
OMG! stToIO exists...!
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
