From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.6 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 30DE9BB84 for ; Tue, 23 Dec 2008 12:50:00 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ak0BADdfUEnUnw6UlGdsb2JhbACCO5EzAQEBAQkLCAkRBKotWJEYhkM X-IronPort-AV: E=Sophos;i="4.36,270,1228086000"; d="scan'208";a="21666518" Received: from fhw-relay07.plus.net ([212.159.14.148]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-SHA; 23 Dec 2008 12:49:59 +0100 Received: from [87.114.38.62] (helo=leper.local) by fhw-relay07.plus.net with esmtp (Exim) id 1LF5lv-0001L4-4O for caml-list@yquem.inria.fr; Tue, 23 Dec 2008 11:49:59 +0000 From: Jon Harrop Organization: Flying Frog Consultancy Ltd. To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] More Caml Date: Tue, 23 Dec 2008 11:53:03 +0000 User-Agent: KMail/1.9.9 References: <157727.93194.qm@web111508.mail.gq1.yahoo.com> <200812221700.09010.jon@ffconsultancy.com> <1230025439.4950b2dfa6cdc@webmail.in-berlin.de> In-Reply-To: <1230025439.4950b2dfa6cdc@webmail.in-berlin.de> MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit Content-Disposition: inline Message-Id: <200812231153.03718.jon@ffconsultancy.com> X-Plusnet-Relay: 556e5c0a71bb2724a903d19c3185c87d X-Spam: no; 0.00; bandel:01 ocaml-team:01 ocaml:01 ocaml:01 fpls:01 haskell:01 erlang:01 ocaml's:01 model:01 domination:98 decay:98 revenue:98 frog:98 wrote:01 oliver:01 On Tuesday 23 December 2008 09:43:59 Oliver Bandel wrote: > Hello Jon, > > where have you been for such a long time? My time has been split between building products around F# (in preparation for its world domination in 2010 ;-) and my bouncing baby boy. > It seems, your destructive ages of blaming OCaml-team > instead of implementing things by your own, are now gone > (or at least on decay). I don't want to blame the OCaml team: they did a great job with OCaml and it was never their goal to make what I want. After all, I would not be here were it not for them (I mean on the caml-list, not in existence ;-). But I do think it is time to face facts: the current OCaml implementation has some serious issues that are holding it back but they can be solved with enough effort. My personal belief is that the other significant FPLs on Linux and Mac OS X (i.e. Haskell, Scala and Erlang) have even more serious practical issues. So I perceive OCaml's stagnation as a catastrophic loss in language diversity that I would like to prevent if at all possible. I cannot see a revenue stream in this new language implementation so I can only devote my spare time to it, which is usually extremely limited. If anything, this is a very long term investment with the hope that this new language implementation might eventually become the dominant open source FPL outside Windows in a few years time. If that happens then we would be able to earn money from it by writing books about it and selling software for it, but that is a long shot. > To have the LLVM-project implementing this is fine. > This makes the start easier. > Seems to be interesting and mature enough to use it. Yes. I have found a couple of limitations and a performance issue in LLVM but nothing serious and I would not hesitate to recommend it. LLVM is really thriving because it is commercially viable and, consequently, has serious commercial backing. Indeed, LLVM is likely to become more popular than OCaml in the not-too-distant future: http://www.google.com/trends?q=ocaml%2Cllvm I think it would be very productive to learn from this development model: an open source ML with industrial backing would have huge potential. -- Dr Jon Harrop, Flying Frog Consultancy Ltd. http://www.ffconsultancy.com/?e