[Haskell-cafe] Re: Exception handling in numeric computations

[Jonathan Cast]

On Fri, 2009-03-27 at 12:24 +0000, Chris Kuklewicz wrote:
> Jonathan Cast wrote:
> > Sure.  Which also points out that the original safeDiv wasn't actually
> > safe, since there's no guarantee of what evaluate will do with x and y.
> > (Actually, there's not much guarantee of what evaluate does anyway ---
> > just that any errors in e's definition get turned into exceptions by the
> > time evaluate e finishes running, or don't turn into exceptions at all).
> > 
> 
> That is not true if you mean "any errors" as "any and all errors".

No, that's not what I mean.  I just couldn't think of a good phrasing
for `errors that would prevent e from being evaluated to HNF'.  Which is
still a lousy phrasing.

jcc