Excerpts from Henning Thielemann's message of Mon Mar 23 11:06:20 +0100 2009:
On Mon, 23 Mar 2009, nicolas.pouillard wrote:
Excerpts from Henning Thielemann's message of Sun Mar 22 23:58:44 +0100 2009:
On Sun, 22 Mar 2009, nicolas.pouillard wrote:
It sounds like a nice idea, it would be great to have a straight-io package to play a bit more with explicit exceptions in things like 'IO'.
Maybe I should then restrict lifting to LazyIO to SIO actions. That would not make LazyIO safe, but reduces surprises.
By SIO you actually mean straight-io right?
Yes
Then what do you mean by "lifting to LazyIO to SIO actions"? Do you mean liftSIO :: SIO a -> LazyIO.T a which says that we only lift computations that explicitly throws exceptions. In that case it be actually safer, but all of this greatly depends on how reasonable is the explicit exception handling. In particular in the case 'IO', using explicit exception is maybe too heavy. -- Nicolas Pouillard