On 02-04-2008, Jon Harrop <[EMAIL PROTECTED]> wrote: > > On Wednesday 02 April 2008 23:50:54 Sylvain Le Gall wrote: >> On 02-04-2008, Jon Harrop <[EMAIL PROTECTED]> wrote: >> > I have already discovered many problems with F# but they are very minor >> > compared to the main problems with OCaml. While there is no theoretical >> > reason why OCaml cannot catch up (e.g. by leveraging tools like LLVM and >> > maybe the JVM's concurrent GC) I do not believe this will ever happen. >> >> FYI, even if it is not exactly what you expect, someone has ported the >> OCaml compiler to JVM (i.e. you ocamljava that replace ocamlc/ocamlopt). >> He has done a fairly huge amount of works to make it happen >> (http://ocamljava.x9c.fr/). > > Yes, I have been following Xavier Clerc's work on ocamljava. I think this is > a > very exciting project with awesome potential. The main problem appears to be > the JVM's lack of tail calls. Hopefully Sun will address this but they are > being remarkably lazy in doing so... > > There is also the problem that ocamljava is likely to be a vanilla OCaml port > rather than an improved OCaml. So we are not likely to see operator > overloading added to ocamljava and so forth. > > Regardless, I think the prospect of OCaml on a concurrent GC is reason enough > to convert to ocamljava. > > Is there a Debian package for this project yet? >
We discuss this point, but as for JoCaml it would require to recompile every other debian package for adding support to it... which seems overcomplicated for little advantage (for now). We still keep this somewhere in our (Debian Developper) heads, but it is not likely to be supported in the near futur. >> I.e. functor are my syntactic sugar ;-) (always better than parametrized >> java class) > > Well, compare this OCaml: > with the F# equivalent: > No need to argue, i will take a look at F# one day ;-) >> Anyway, thank you for this interesting discussion about inlining. I know >> that someday i will come to F#... But since it doesn't run on Linux, it >> will take time for me. > > Apparently F# does run under Mono but I have not managed to get it working > myself. > > Unfortunately, Mono is really appallingly badly written and the authors of > Mono appear to have contempt rather than respect for people like Chris > Lattner (lead developer of the fantastic LLVM project). Given that pulling > off a project like Mono would require enormous talent, I can't help but think > that the future is bleak for that project. The package popularity results > seem to indicate that I am not alone in my belief: > Mono is complicated by itself and as not a lot of chances to breakthrough right now. The amount of work to be at the same level with Microsoft .NET is huge, and it will take time to create enough momentum. I have also heard of F# running on Mono... But if i try something, it will be F# on Windows (don't know what i am looking for, so i will not even be able to know if F# is working or not on my Mono install). BTW, send me email privately, i think we are fully Out Of Topic. Regards, Sylvain Le Gall --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "ocaml-developer" group. To post to this group, send email to [email protected] To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/ocaml-developer?hl=en For other OCaml forums, see http://caml.inria.fr/resources/forums.en.html -~----------~----~----~----~------~----~------~--~---
