[Haskell-cafe] Would you mind explain such a code ?

Peter Verswyvelen bugfact at gmail.com
Thu Sep 10 08:43:10 EDT 2009


On Thu, Sep 10, 2009 at 11:47 AM, Roman Cheplyaka <roma at ro-che.info> wrote:
>  step x g a = g (f a x)
>
> is, thanks to currying, another way to write
>
>  step x g = \a -> g (f a x)

I thought currying just meant

curry f x y = f (x,y)


Isn't the reason that

f x y z = body

is the same as

f = \x -> \y -> \z -> body

just cause the former is syntactic sugar of the latter?


More information about the Haskell-Cafe mailing list