
10 Sep
2009
10 Sep
'09
12:43 p.m.
On Thu, Sep 10, 2009 at 11:47 AM, Roman Cheplyaka
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?