Jon Harrop a écrit :
> There are really two major advantages over the current ocamlopt design and 
> both stem from the use of JIT compilation:
>
> . Run-time types allow per-type functions like generic pretty printers and 
> comparison.
>
> . Monomorphisation during JIT compilation completely removes the performance 
> cost of polymorphism, e.g. floats, tuples and records are never boxed.

Do you mean that each polymorphic function is compiled into a different
native piece of code each time it is called with different parameter
types? How does the JIT'ed code size compare to ocamlopt'ed code size?

- Florent