From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 8A2FDBC57 for ; Wed, 12 May 2010 15:11:39 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlwDAEtF6ktbeRvkkWdsb2JhbACRZothdQEBAQEJCwoHEQMfuiOFEgSHUg X-IronPort-AV: E=Sophos;i="4.53,215,1272837600"; d="scan'208";a="50545549" Received: from 25.mail-out.ovh.net ([91.121.27.228]) by mail3-smtp-sop.national.inria.fr with SMTP; 12 May 2010 15:11:39 +0200 Received: (qmail 20898 invoked by uid 503); 12 May 2010 13:24:24 -0000 Received: from b6.ovh.net (HELO mail306.ha.ovh.net) (213.186.33.56) by 25.mail-out.ovh.net with SMTP; 12 May 2010 13:24:24 -0000 Received: from b0.ovh.net (HELO queueout) (213.186.33.50) by b0.ovh.net with SMTP; 12 May 2010 13:11:37 -0000 Received: from ns0.ovh.net (HELO localhost) (213.186.33.20) by ns0.ovh.net with SMTP; 12 May 2010 13:11:37 -0000 Received: from mp-57040.rocqadm.inria.fr (mp-57040.rocqadm.inria.fr [128.93.57.40]) by imp.ovh.net (Horde Framework) with HTTP; Wed, 12 May 2010 15:11:37 +0200 Message-ID: <20100512151137.26894ywcpv71ixvk@imp.ovh.net> Date: Wed, 12 May 2010 15:11:37 +0200 From: forum@x9c.fr To: caml-list@yquem.inria.fr Cc: forum@x9c.fr Subject: RE: [Caml-list] about OcamIL References: <951508.20587.qm@web58708.mail.re1.yahoo.com> <201005061233.07551.peng.zang@gmail.com> <07b101caf08b$3e5022c0$baf06840$@com> <088201caf1ce$b5060cb0$1f122610$@com> In-Reply-To: <088201caf1ce$b5060cb0$1f122610$@com> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; DelSp="Yes"; format="flowed" Content-Disposition: inline Content-Transfer-Encoding: quoted-printable User-Agent: Internet Messaging Program (IMP) H3 (4.3.5) X-Ovh-Tracer-Id: 12180266668511069151 X-Spam: no; 0.00; runtime:01 ml-like:01 bigloo:01 www-sop:01 bigloo:01 lgpl:01 haskell:01 quark:98 gpl:01 gpl:01 wrote:01 caml-list:01 caml:02 lisp:02 functional:02 Jon Harrop a =E9crit=A0: > Ben Kuin wrote: >> 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. > > I'm afraid the situation is far worse. Even if you relax your conditions > from "ML-like" to any functional language and even allow broken TCO, there > are not only no language implementations satisfying those weaker condition= s > but nobody is even trying to create such a language implementation. Putting aside an answer I posted this morning on a parallel thread, I will just present some counter examples to this claim. Limiting myself to the JVM, and not even trying to be exhaustive, I =20 can find... ... in the LISP family : - Clojure - http://clojure.org/ - Eclipse Public License ... in the Scheme family : - Bigloo - http://www-sop.inria.fr/indes/fp/Bigloo/ - GPL / LGPL - Kawa - http://www.gnu.org/software/kawa/ - X11 / MIT license - SISC - http://sisc-scheme.org/ - GPL ... in the ML family: - Yeti - http://mth.github.com/yeti/ ... in the Haskell family: - CAL - http://openquark.org/Open_Quark/Welcome.html - BSD-like license ... in its own family: - Scala - http://www.scala-lang.org Moreover, at least Scala and Bigloo deliver excellent performances. Regards, Xavier Clerc