Calling it "Tail-call optimization" shows a lack of understanding. "Tail-call elimination" is no mere optimization, it is an operational semantics that means ce

Calling it "Tail-call optimization" shows a lack of understanding. "Tail-call elimination" is no mere optimization, it is an operational semantics that means certain operations happen in guaranteed bounded space instead of unbounded space, and therefore are guaranteed to be possible to execute if some simple initial conditions are met, vs virtually guaranteed to crash the program at arbitrary moments.