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
about OcamIL
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2010-05-11 (11:22)
From: ben kuin <benkuin@g...>
Subject: Re: [Caml-list] about OcamIL
> A little off topic, but how is Mono/Unix these days?
>> Still leaks memory,
you refer to your examinations?
where you say yes and the mono devs are say no to memory leaking?

>> has broken TCO
Again, I think other people do not have the same opion on this (

>> and runs like a dog
I think this on the other hand is indeed a problem and has been
documented seriously (also by you:

I've introduced the post with some license related concerns, maybe I
should take a step back and think about what I want:

1. - programming in a ML like language ( especially the caml family
since I really like those lightweigt type definitions and the pattern
matching that can be applied on those)

2. - high performance runtime, preferably a jit based vm, no problems with TCO

3. - a true open source license (approved by Open Source Initiative or
by Free Software Foundation)

I think this 3 point are REASONABLE but the combination of those 3
items is INEXISTENT.

Ocaml: the vm is not very fast (no jit AFAIK)

F#: No open source license so far. Bad runtime performance on mono.

Ocaml on HLVM: I would appreciate if Jon could make a clear statement
if this is something serious or just a little toy.

Scala: Not really a ML language: I think it's kind of fun to try to
emulate ocaml features or try to port ocaml apps to scala. The problem
is the actual work is never going to be finished. I have some concerns
the the runtime performance is unpredictable (no TCO, a lot of hacks
into the JVM)

Yeti: I like the language, but it is in a experimental stage

Nekoml: Supercool project, but the vm is not the fastest and jit runs
only on x86 platforms

So I guess the best thing would be to use good ol Ocaml in native mode...?

A last idea: What do you think about libjit? They claim that a jvm/clr
like runtime could be built in weeks. Wouldn't it be nice to have a
fast vm for Ocaml (ocamljit) ? Does someone has experience with this,
I think writing a fast vm is hard, but a fast vm for a functional
language is nearly impossible? Maybe OcamIL could then be used as a
model for a jit backend, since its MSIL output already runs on libjit
(DotGnu, alias pnet)

On Mon, May 10, 2010 at 11:53 PM, Jon Harrop
<> wrote:
>> A little off topic, but how is Mono/Unix these days?  Last I checked
>> (>2 years ago) it implemented the basic libraries and runtimes but had
> terrible
>> performance.  Is it now on par with Windows?
> Still leaks memory, has broken TCO and runs like a dog. Mono has also fallen
> even farther behind now that .NET 4 is out. However, they have at least
> stated that they intend to start trying to support F# on Mono. Then again,
> they stated about 6 years ago they were going to replace their crappy
> conservative GC with one that might actually work but they never managed to
> do that either...
> Cheers,
> Jon.
> _______________________________________________
> Caml-list mailing list. Subscription management:
> Archives:
> Beginner's list:
> Bug reports: