[Haskell-cafe] [ANN] Safe Lazy IO in Haskell

Henning Thielemann lemming at henning-thielemann.de
Mon Mar 23 06:52:27 EDT 2009

On Mon, 23 Mar 2009, nicolas.pouillard wrote:

> Excerpts from Henning Thielemann's message of Mon Mar 23 11:06:20 +0100 2009:
>> 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.

If it does not fit, you can change it. :-) That's the advantage over 
built-in IO exceptions.

> In particular in the case 'IO', using explicit exception is maybe too heavy.

I think it's precisely the best thing to do, given all the problems with 
asynchronous, imprecise and what-know-I exceptions.

More information about the Haskell-Cafe mailing list