[Haskell-cafe] Haskell's currying and partial application

[Peter Verswyvelen]

Much better. Although I struggle a bit with the exercises ;)

Let's see

id :: a -> a

curry :: ((a,b) -> c) -> a -> b -> c

=> curry id :: ((a,b) -> (a,b)) -> a -> b -> (a,b)

So basically if 

f = curry id 

then

f x y = (x,y)

which means

curry id = (,)

something like this?

Do I win a price now? ;)











-----Original Message-----
From: Henning Thielemann [mailto:lemming at henning-thielemann.de] 
Sent: Tuesday, July 03, 2007 3:21 PM
To: Peter Verswyvelen
Cc: Haskell-Cafe at haskell.org
Subject: Re: [Haskell-cafe] Haskell's currying and partial application


On Tue, 3 Jul 2007, Peter Verswyvelen wrote:

> IMHO when reading
>
> http://haskell.org/haskellwiki/Currying
>
> a newbie like me cannot see the difference between currying and partial
application...

Better now?