23 Mar
2009
23 Mar
'09
6:52 a.m.
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.