Is it sufficient to provide a mechanism for the compiler writers to indicate that tail call should be used? For example, I have a few cases in tcl where I have something like:
($I0,$P0) = interpret($P1) .return($I0,$P0)
Where I'd be happy to have to write:
.return_tailcall(interpret($P1))
or somesuch.
Leopold Toetsch wrote:
AFAIK the only problem with tailcalls and tail-recursive functions is to prperly detect them in some optimizer, or to convert to such tailcalls.