On Wed, 2005-02-16 at 09:54 +0000, Jon Harrop wrote:

> Yes, the performance is astonishingly good considering how elegant the 
> compiler is. I think it relies entirely on the CPU to do dynamic instruction 

Elegant?  My idea of elegant would be something that's nicely abstracted
into intermediate representations and passes, introducing runtime
dependencies as late as possible, making things straightforward to
change etc.  My impression of OCaml is that it's an interesting
combination of "simplistic" and "hairy".  To be fair, the actual machine
code generation parts seem fairly nice.