Re: [Haskell-cafe] what does the '~' mean ?

16 Apr 2010


      On 16/04/10 07:09, Ivan Miljenovic wrote:
...
On 16 April 2010 15:59, zaxis  wrote:
...
instance (BinaryDefer a, BinaryDefer b) => BinaryDefer (a,b) where
   put (a,b) = put2 a b
   get = get2 (,)
   size x = let ~(a,b) = x in size a + size b
   putFixed (a,b) = putFixed2 a b
   getFixed = getFixed2 (,)
in `size` function, what does the `~` mean ?
A lazy pattern match: http://en.wikibooks.org/wiki/Haskell/Laziness
(there is a better name for it, but I can't remember).
Irrefutable patterns?

/M

-- 
Magnus Therning                        (OpenPGP: 0xAB4DFBA4)
magnus＠therning．org          Jabber: magnus＠therning．org
http://therning.org/magnus         identi.ca|twitter: magthe