Version française
Home     About     Download     Resources     Contact us    
Browse thread
Why can't I use val mover : < move : int -> unit; .. > list -> unit ?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Michel Schinz <Michel.Schinz@e...>
Subject: Re: Why can't I use val mover : < move : int -> unit; .. > list -> unit ?
"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.