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

[Henning Thielemann]

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.

Yes.

> 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.