Re: [Caml-list] [ANN] OCaml-Java project: 1.0 release

[forum@x9c.fr]

Selon Till Varoquaux <till.varoquaux@gmail.com>:

> On Tue, May 27, 2008 at 7:06 AM, Jon Harrop <jon@ffconsultancy.com> wrote:
> > On Tuesday 27 May 2008 06:46:23 forum@x9c.fr wrote:
> > 4. Are tail calls fully implemented and, if not, when exactly do they work?
> One cannot fully implement tail calls on the JVM: there's no such
> thing as a goto or a tail call instruction.
> Tail recursion can usually be done for cheap. The general requires
> some expensive machinery (usually trampolines)

Well, to be precise the JVM provides a "goto" instruction, albeit limited
to offsets in the same method. This allows to easily implement tail calls
for direct recursion (and this is done in OCaml-Java).
Can you explain what you mean by "trampoline" in the Java/JVM context ?

Xavier Clerc