[kubb]

You can just compile any tail recursive function to a function with a loop and no recursion.

[1-more]

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

[srean]

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.

[apgwoz]

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

[srean]

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

[adamwk]

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