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

2007-07-03 Thread Henning Thielemann
On Tue, 3 Jul 2007, Peter Verswyvelen wrote: > 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? Yo

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

2007-07-03 Thread Peter Verswyvelen
ething like this? Do I win a price now? ;) -Original Message- From: Henning Thielemann [mailto:[EMAIL PROTECTED] Sent: Tuesday, July 03, 2007 3:21 PM To: Peter Verswyvelen Cc: Haskell-Cafe@haskell.org Subject: Re: [Haskell-cafe] Haskell's currying and partial application

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

2007-07-03 Thread Jules Bean
Henning Thielemann wrote: 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? Much better, IMO, although I still don't like the part with

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

2007-07-03 Thread Henning Thielemann
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? ___ Haskell-Cafe mailing list Haskell

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

2007-07-03 Thread Peter Verswyvelen
2007 01:48 PM >Aan: 'Peter Verswyvelen' >CC: Haskell-Cafe@haskell.org >Onderwerp: Re: [Haskell-cafe] Haskell's currying and partial application > > >On Tue, 3 Jul 2007, Peter Verswyvelen wrote: > >> Ah, thanks for the correction. So if I understand it correctly

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

2007-07-03 Thread Henning Thielemann
On Tue, 3 Jul 2007, Peter Verswyvelen wrote: > Ah, thanks for the correction. So if I understand it correctly, this is > currying: See also: http://haskell.org/haskellwiki/Currying http://haskell.org/haskellwiki/Partial_application and more generally: http://haskell.org/haskellwiki/Category