Name: Anonymous 2012-06-15 23:05
I want a language where every function is anonymous.
Is it possible to do this without closures and GC (shit) everywhere?
I suspect it isn't, unless you add the parent scope as implicit arguments to every single function call/defintion via syntactic sugar... and the alternative, non-anonymous functions, means you have two separate concepts of scope
Another approach would be to use trampoline functions on the heap like gcc does for nested functions, which require stack offsets into the original evironment scope. The tradeoff is of course you can't return a function from an inner scope (would you consider that acceptable in a language design?
Is it possible to do this without closures and GC (shit) everywhere?
I suspect it isn't, unless you add the parent scope as implicit arguments to every single function call/defintion via syntactic sugar... and the alternative, non-anonymous functions, means you have two separate concepts of scope
Another approach would be to use trampoline functions on the heap like gcc does for nested functions, which require stack offsets into the original evironment scope. The tradeoff is of course you can't return a function from an inner scope (would you consider that acceptable in a language design?