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: -- (:)
From: David MENTRE <dmentre@l...>
Subject: Re: [Caml-list] Comparison of OCaml and MLton for numerics

2007/6/1, Yaron Minsky <>:
> In other words,
> factoring out with functors and modules is good style, but OCaml penalizes
> you for it.

A naive and somewhat provocative question: is the performance penalty
a real issue in your production code or just a known overhead that is
easily solved by having a more powerful computer? In other words, is
the complexity price of better optimizations justified considering its
real impact in production code?

And if you consider this debate in a more general view: OCaml has a
number of known deficiencies that pop up regularly on this list (new
calmp4 doc, handling of parallelism for multi-core machines, lack of a
recognised CPAN-like OCaml repository, etc.). We all know that the
INRIA team has limited manpower. On which topic should they invest
their time? How can we work, as a community, to solve those issues?