Re: [Haskell-cafe] Why isn't pattern matching lazy by default?

On 9/19/07, Roberto Zunino wrote:

Henning Thielemann wrote:

...

Then why are patterns in lambdas not lazy?

Because they should allow for more branches! ;-))

null = \ [] -> True _ -> False

See http://hackage.haskell.org/trac/haskell-prime/ticket/114 for a relevant proposal for Haskell Prime regarding something like this. Bas