Browse thread
about OcamIL
-
ben kuin
- Alain Frisch
-
Eray Ozkural
- Ed Keith
- ben kuin
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ 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? (http://flyingfrogblog.blogspot.com/2009/01/mono-22-still-leaks-memory.html?showComment=1233522107493#c7872630239059031867) 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 ( http://flyingfrogblog.blogspot.com/2009/01/mono-does-not-support-tail-calls.html) >> and runs like a dog I think this on the other hand is indeed a problem and has been documented seriously (also by you: http://flyingfrogblog.blogspot.com/2009/01/mono-22.html) 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 <jonathandeanharrop@googlemail.com> 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: > http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list > Archives: http://caml.inria.fr > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs >