|
|
|
|
|
|
by kazinator
1696 days ago
|
|
|
I believe Algol 60 had downward-funarg-only lexical scoping, whereby if you return a function with a captured environment, the coach turns into a pumpkin (unless it is somehow disallowed). Lambda Calculus specifies the real deal; functions can calculate functions. |
|
|