~ patterns

Simon Peyton-Jones simonpj at microsoft.com
Fri Jan 27 05:53:31 EST 2006

| Actually, I think it's a much bigger wart that pattern matching in let
| and where is lazy, and everywhere else is strict, than that we have an
| operator ~ on patterns with a clean compositional semantics. Way back

But ! patterns would restore what you want
	let !(x,y) = e in ...

Arguably, it's non-uniform, but at least the strict version would be
much more convenient than switching to case.


More information about the Haskell-prime mailing list