Possibly Pythonic Tail Call Optimization (TCO/TRE)

[Gregory Ewing]

Chris Angelico wrote:
> I'm still interested in the explicit "replace current stack frame with
> this call" operation. Calling it "goto" seems wrong, as most languages
> with goto restrict it to _within_ a function,

This just suggests to me is that most language designers
are not very imaginative. :-)

A tail call *is* a goto. That's how you implement one in
assembly language -- you write a jump instruction instead
of a call instruction. The jump doesn't have to be to
the same function.

Also see:

https://litrev.wordpress.com/2009/07/16/lambda-the-ultimate-goto/

-- 
Greg