Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
Comparison of OCaml and MLton for numerics
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2007-06-01 (13:49)
From: Julien Signoles <signoles@l...>
Subject: Re: [Caml-list] Comparison of OCaml and MLton for numerics

> Indeed, after you defunctorize what performance penalties are left by modules?

Indeed, really depends on the context ;-).

If you don't use many operations which come from a functor application 
(compared with the number of costly operations in your application), the 
performance penalty of a functor application is probably not relevant.

However, in some cases, defunctorization may produce a good speedup, 
especially if you use massive inlining (e.g. ocamlopt -inline 1000). On 
the contrary, defunctorization may produce cache problem because the size 
of the defunctorized code may be very bigger than the size of the initial 

-- ;
"In theory, practice and theory are the same,
but in practice they are different" (Larry McVoy)