[Haskell-cafe] [ANN] Safe Lazy IO in Haskell
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:
> 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