[Haskell-cafe] Haskell's

[Henning Thielemann]

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.