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) Explain the FUNARG problem. 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 Java: fails because anonymous inner classes cannot capture the non-final parameters Early languages: POP-2 parameters/non-local variables/partial application First-class functions and object-oriented languages (scoping of this, fully-featured closures?) Discuss why C is sometimes said to have 1.5-class functions (e.g. in MLS, Prog. Lang. Prag.) Tidy the table (again...); add ref=note Figure out how Algol and Pascal compilers handle passing nested functions as arguments to higher-order function. They probably don't build a closure.