Re: [Haskell-cafe] better way to do this?

On Wed, Oct 7, 2009 at 11:13 AM, Ketil Malde  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