[Haskell-cafe] [ANN] Safe Lazy IO in Haskell
nicolas.pouillard at gmail.com
Mon Mar 23 06:33:59 EDT 2009
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?
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.
More information about the Haskell-Cafe