[Haskell-cafe] How is laziness defined?

ajb at spamcop.net ajb at spamcop.net
Tue Feb 6 01:19:10 EST 2007

G'day all.

Quoting Matthew Brecknell <haskell at brecknell.org>:

> In other words, the irrefutability of a pattern match does not
> distribute inside the top-level data constructor of the pattern.

I wasn't disagreeing with you, which is why I didn't comment.

Note also that if Haskell prime incorporates bang patterns, and hence
"strict lets", this will make the situation even more subtle.

Andrew Bromage

More information about the Haskell-Cafe mailing list