proper tail calls

Igor Bukanov igor at
Mon Jan 21 16:22:53 PST 2008

On 22/01/2008, Brendan Eich <brendan at> wrote:
> 2. The programmer uses "goto f(x)" where f returns T and the call is
> in g returning Y,

A quality implementation may still implement the tail call in this
case as the type conversion does not depend on the activation frame.
Yet given such implementation the programmer would not be able to take
advantage of that and would be forced to use return f(x) instead of
goto f(x).

Regards, Igor

More information about the Es4-discuss mailing list