FW: Why I hate n+k

[Simon Marlow]

> Just to amuse you all, here's a quick Haskell 98 quiz:
> 
>       What do the following definitions do:
> 
> 1     x + 1 = f x
> 
> 2     (x + 1) = f 2
> 
> 3     (x + 1) * 2 = f x
> 
> 4     (x + 1) 2 = g x

On a similar note, what does this (legal Haskell 98) definition mean?

        (((+) + 1) + 1) 1 = (+)

That's right!

        (+) :: (Integral a, Num b, Num c) => a -> b -> c -> a

Cheers,
        Simon

-- 
Simon Marlow 
Microsoft Research Ltd., Cambridge, U.K.