| Re: [RFC] partial evaluation / higher order functions |
|
 |
|
 |
|
 |
|
 |
Group: comp.lang.functional · Group Profile
Author: Mark WoodingMark Wooding Date: Jun 24, 2008 15:13
Didier Verna wrote:
> What about partial application and the fact that if you define "f a b",
> them "f a" also denotes a function that you can later apply to another
> argument?
Partial application is not at all the same as partial evaluation. The
former is a language feature which makes certain kinds of programs more
concise. The latter is a kind of compiler optimization.
> Would you say that this is one of the caracteristics of functions
> being 1st class objects, or rather that it is a /consequence/ of that?
Consider Scheme here.
-- [mdw]
| 
