GC for pure functions -- implementation ideas

[bearophile]

Tomek Sowiñski:

> I'm far from being a GC expert but I think Java having identified such cases with escape analysis just puts locally allocated objects on the stack.

Escape analysis will be useful for D compilers too (I think LDC-LLVM is not doing this much yet), but if the amount of non-escaping memory allocated is large, you don't want to put it on the stack, a special heap is better.

Bye,
bearophile