[Haskell-cafe] Would you mind explain such a code ?
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