Talk:First-class function/to do

Here are some tasks awaiting attention: Expand : * Interaction between higher-order and nested functions. Supported in Algol and Pascal. (Andrew Appel. Modern compiler implementation) Raphael A. Finkel. Advanced Programming Language Design Michael Lee Scott. Programming Language Pragmatics Functions as dynamic values in dynamic programming languages (eval) C Sharp 2.0#Anonymous delegates vs. C Sharp 3.0#Lambda expressions Lexical and dynamic scoping Putting it together: function composition, a higher-order function taking two functions as argument and returns an (anonymous or nested) function. Pascal: fails because we cannot return functions Oberon: fails because we cannot return nested functions C: fails because the function we return needs to have access to the (non-local) paramaters Lisp: fails because of dynamic scoping C++0x: fails because closures do not extend lifetime/capture by copy Early languages: POP-2 parameters/non-local variables/partial application First-class functions and object-oriented languages (scoping of this, fully-featured closures?)