Re: [Haskell-cafe] Haskell's

On Tue, 3 Jul 2007, Peter Verswyvelen wrote:

Ah, thanks for the correction. So if I understand it correctly, this is currying:

when

f :: (a,b) -> c

then

g :: a -> (b,c)

is the curried form of f?

No it is g :: a -> b -> c g = curry f

So currying has to do with tuples?

Yes.

And partial application is just leaving away some tail arguments?

Indeed.