[fanf2]

That is the argument made by Andrew Appel’s paper “garbage collection can be faster than stack allocation” https://www.cs.princeton.edu/~appel/papers/45.pdf and it’s the compilation strategy used by SML/NJ as set out in Appel’s book “compiling with continuations”

[kragen]

Well, I know, but I think he turned out to be wrong in that case. Fast enough, maybe.