[Haskell-cafe] Why is this strict in its arguments?

Henning Thielemann lemming at henning-thielemann.de
Fri Dec 7 15:49:41 EST 2007


On Fri, 7 Dec 2007, Andrew Coppin wrote:

> Ian Lynagh wrote:
> > On Tue, Dec 04, 2007 at 03:07:01PM -0800, Ryan Ingram wrote:
> >
> >> Is there a reason why strictness is defined as
> >>
> >>> f _|_ = _|_
> >>>
> >> instead of, for example,
> >>
> >>> forall x :: Exception. f (throw x) = throw x

Errors and exceptions are two very different concepts.


More information about the Haskell-Cafe mailing list