[Haskell-cafe] lazy patterns versus where-clauses

David House dmhouse at gmail.com
Thu Jun 21 15:31:58 EDT 2007


Peter Padawitz writes:
 > Is f(~p(x))=e(x) semantically equivalent to: f(z)=e(x) where p(x)=z?

Yep.

See also http://en.wikibooks.org/wiki/Haskell/Laziness#Lazy_pattern_matching
regarding lazy patterns.

-- 
-David House, dmhouse at gmail.com


More information about the Haskell-Cafe mailing list