On Wed, Oct 7, 2009 at 11:13 AM, Ketil Malde <ke...@malde.org> wrote: > > One could argue that IO should be broken down into a set of "sub-monads" > encapsulating various subsets of the functionality - file system, > network access, randomness, and so on. This could extend the "safe > spot" to cover much more computational real estate, and effectively > sandbox programs in various ways.
Yes, a similar and very long thread I unintentionally started (sorry for that :p) was: DDC compiler and effects; better than Haskell? http://thread.gmane.org/gmane.comp.lang.haskell.cafe/62205 _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe