
27 May
2007
27 May
'07
12:12 p.m.
On 5/27/07, Andrew Coppin
map :: (a -> b) -> [a] -> [b] map :: (a -> b) -> ([a] -> [b])
Which is beautifully symmetric. Alternatively, you can think about how you actually use it:
map :: ((a -> b) -> [a]) -> [b]
No, now you're confusing things. The uncurried function looks like this: uncurry map :: (a -> b, [a]) -> [b] Note that map :: ( .... ) -> [b] only takes one argument, not two HTH /Thomas