lazy patterns versus where-clauses

21 Jun
2007
21 Jun
'07
4:13 p.m.
Is f(~p(x))=e(x) semantically equivalent to: f(z)=e(x) where p(x)=z?

4:24 p.m.
New subject: [Haskell] Re: lazy patterns versus where-clauses
On Thu, Jun 21, 2007 at 09:18:02AM -0700, Stefan O'Rear wrote:
PS: I saw that twice
Oops, failed to notice the cross-post - I thought it was a double post, sorry. In the future smallish questions should usually be directed to -cafe@ - haskell@ is treated as an announce list. Stefan

7:31 p.m.
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@gmail.com
6591
Age (days ago)
6591
Last active (days ago)
3 comments
3 participants
participants (3)
-
David House
-
Peter Padawitz
-
Stefan O'Rear