I prefer Scala’s solution, where tail calls look like normal calls, and a @tailrec annotation can assert they really are optimized out (or break the build).

Seems like they compiler could generate the trampoline itself and just ignore any recur that occurs.