On Thu, Sep 10, 2009 at 11:47 AM, Roman Cheplyaka <[email protected]> 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?
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to