Tail call elimination often is part of the language semantics though, for the reason others in this thread have described. E.g. Scheme specifies when a conforma

Tail call elimination often is part of the language semantics though, for the reason others in this thread have described. E.g. Scheme specifies when a conformant implementation is required to eliminate tail calls: https://conservatory.scheme.org/schemers/Documents/Standards/R5RS/r5rs.pdf https://conservatory.scheme.org/schemers/Documents/Standards...