3 Jul
2007
3 Jul
'07
7:40 a.m.
On Tue, Jul 03, 2007 at 10:53:33AM +0000, 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) g :: a->b->c
is the curried form of f? So currying has to do with tuples?
And partial application is just leaving away some tail arguments?