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.
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to