This is in fact how Elm does it! Tail call recursion compiles to a while loop.

That does not address the use case where I find tail recursion most tempting. That would be mutually recursive functions.

If the function can be written as an idiomatic loop I probably would do so in the first place.

You _can_ do trampolines, but that is kind of infectious, or needs to be very explicit with extra code, etc.

Indeed. It's not very efficient though. If I remember correctly Scala does this.

Right but recursion is only a smaller part of why the optimization is important. It means tail-called functions still build on the stack and long function chains—as is common with fp—can overflow