[Haskell-cafe] Newbie terminology for partial application
bf3 at telenet.be
Mon Aug 27 10:29:38 EDT 2007
A while ago I confused "currying" with "partial application", which was
pointed out by members of this community, and the wiki pages got adapted
so that newbies like me don't make the same mistake twice ;) That's great.
Anyway, at the risk of making mistakes again, I'm looking for good
terminilogy when talking about "partial application".
-- uncurried form
*f (x,y)* = -- whatever
-- curried form
*g x y *= f (x,y)
-- partial application
*h x *= g x
But when writing text documents, I guess it is common to say "/g is
curried/", but is it also common to say /"g is partially applied"? /The
latter sounds silly to a non-native speaker like myself... Or shouldn't
/And what is "application"? I guess it means that (g x y) is internally
translated to ((g $ x) $ y) which is translated into (apply (apply g x)
y) where apply is a primitive function?
PS: sorry for the poor English!
More information about the Haskell-Cafe