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.0 required=5.0 tests=AWL autolearn=disabled version=3.1.3 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 7CF9BBBCA for ; Fri, 9 May 2008 15:07:10 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgsBAJ/oI0jCpx6womdsb2JhbACSBgEBAQEBAQcFBgkRmHE X-IronPort-AV: E=Sophos;i="4.27,460,1204498800"; d="scan'208";a="10549480" Received: from smtpmin.univ-orleans.fr (HELO min.univ-orleans.fr) ([194.167.30.176]) by mail2-smtp-roc.national.inria.fr with ESMTP; 09 May 2008 15:07:10 +0200 Received: from smtps.univ-orleans.fr (localhost [127.0.0.1]) by min.univ-orleans.fr (Postfix) with ESMTP id 4033812B403; Fri, 9 May 2008 15:07:10 +0200 (CEST) Received: from [192.168.0.12] (ras75-4-82-235-58-110.fbx.proxad.net [82.235.58.110]) by smtps.univ-orleans.fr (Postfix) with ESMTP id 5FDF236E5B; Fri, 9 May 2008 15:07:12 +0200 (CEST) Subject: Re: [Caml-list] Re: Why OCaml rocks From: David Teller To: Jon Harrop Cc: caml-list@yquem.inria.fr In-Reply-To: <200805091129.34171.jon@ffconsultancy.com> References: <200805090139.54870.jon@ffconsultancy.com> <1210319906.6399.12.camel@Blefuscu> <200805091129.34171.jon@ffconsultancy.com> Content-Type: text/plain Date: Fri, 09 May 2008 15:08:52 +0200 Message-Id: <1210338532.6399.35.camel@Blefuscu> Mime-Version: 1.0 X-Mailer: Evolution 2.12.1 Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; ocaml:01 univ-orleans:01 0100,:01 haskell:01 ocaml:01 externally:01 camomile:01 undecided:01 pcre:01 ocamlnet:01 camlzip:01 dependencies:01 compiler:01 compiler:01 cheers:01 On Fri, 2008-05-09 at 11:29 +0100, Jon Harrop wrote: > On Friday 09 May 2008 08:58:26 you wrote: > > Are you sure or is that just a troll? > > My point is that actual performance on real code is what matters and not the > number of optimizations that might theoretically apply. From the measurements > I have seen and done, Haskell is substantially slower despite its many extra > optimizations. Ok, I'll take your word on that. > > > 10. Limited standard library: I agree but this is only an issue because > > > we are not able to fix the problem by contributing to the OCaml > > > distribution. > > > > That's the whole idea of Community Caml / Batteries Included. Really, feel > > free to contribute. > > I thought Community OCaml was about tacking things on externally using macros > and extra libraries. Yes and no. * Batteries Included = ** take the legacy standard library, ExtLib, Camomile, SDFlow and other libraries (list undecided so far, but pcre, ocamlnet, camlzip are strong candidates), add some glue to get them all to work together, and build a comprehensive external library ** do the same thing for macros ** distribute everything as a GODI package with lots of dependencies * Community OCaml = use the same codebase but ** completely replace the legacy standard library ** turn this into a full, community-maintained, OCaml distribution. In either case, the objective is to achieve something JDK-like in its reach. > > Why a full new language? I may understand the interest of writing a > new > > compiler for OCaml (or whichever other language) and gradually > improving > > the forked compiler, but that's a different story altogether. > > A concurrent GC is the only major issue. Everything else is > comparatively > easy. Well, if you get to write a concurrent GC for the core of OCaml, feel free to alert the community. People might be willing to help with advanced features. Cheers, David -- David Teller Security of Distributed Systems http://www.univ-orleans.fr/lifo/Members/David.Teller Angry researcher: French Universities need reforms, but the LRU act brings liquidations.