"Mattias Waldau" <mattias.waldau@tacton.se> writes:

[...]

> Also, I would be interested in how Ocaml can make the call within
> main and mover to move efficiently. Other static compiled
> OO-languages use vtables, but I don't see how Ocaml can use a
> vtable. How expensive are these methods calls? There are no numbers
> of this in the Ocaml-FAQ

Jérôme Vouillon wrote a message in this list once to explain the
dispatching technique used in OCaml. The message is archived there:

  http://pauillac.inria.fr/~doligez/caml-guts/objects.txt

Michel.