proper tail calls

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


On 22/01/2008, Brendan Eich <brendan at mozilla.org> 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