On Mon, 18 Feb 2013 19:13:13 +0000
Mateusz Kowalczyk
On 18/02/13 19:02, briand@aracnet.com wrote:
Hi all,
I was creating "bigger" uncurries which I am simply extending from an existing uncurry I found some where, e.g.
uncurry4 :: (a -> b -> c -> d -> e) -> ((a, b, c, d) -> e) uncurry4 f ~(a,b,c,d) = f a b c d
when I realized, what's the "~" for ?
I've only been able to find a partial explanation that it involves preserving laziness, or something, maybe ?
I was hoping someone could enlighten me.
Thanks
Brian
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
[1] explains it in section 4.4 — ‘Lazy patterns’.
how strange - I was sure I looked through the tutorial... Thanks Mateusz and Patrick. Brian