> because it doesn't affect the semantics of the program

It does when you use them as a feature and not an optimization. Like in interpreters, state machines, parsers, etc.

Calling tail calls an optimization set computer science back 40 years.