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 mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 2F1E6BC6C for ; Mon, 28 Jan 2008 21:46:55 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAE/OnUfAXQInh2dsb2JhbACQKQEBAQgKKZsX X-IronPort-AV: E=Sophos;i="4.25,262,1199660400"; d="scan'208";a="21904880" Received: from concorde.inria.fr ([192.93.2.39]) by mail4-smtp-sop.national.inria.fr with ESMTP; 28 Jan 2008 21:46:54 +0100 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m0SKkqO6015704 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Mon, 28 Jan 2008 21:46:54 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAANjNnUdA6bjikGdsb2JhbACQKQEBAQEHBAYHChEFmxc X-IronPort-AV: E=Sophos;i="4.25,262,1199660400"; d="scan'208";a="6673027" Received: from wr-out-0506.google.com ([64.233.184.226]) by mail2-smtp-roc.national.inria.fr with ESMTP; 28 Jan 2008 21:46:50 +0100 Received: by wr-out-0506.google.com with SMTP id c57so887768wra.9 for ; Mon, 28 Jan 2008 12:46:40 -0800 (PST) Received: by 10.142.242.8 with SMTP id p8mr2702002wfh.166.1201553199574; Mon, 28 Jan 2008 12:46:39 -0800 (PST) Received: by 10.142.173.18 with HTTP; Mon, 28 Jan 2008 12:46:39 -0800 (PST) Message-ID: <3a360f590801281246nf1e5e3eg27fa31b55ba2ecab@mail.gmail.com> Date: Mon, 28 Jan 2008 15:46:39 -0500 From: "Hezekiah M. Carty" Sender: hcarty@mulethief.com To: "Loup Vaillant" Subject: Re: [Caml-list] Re: The OCaml Community (aka back from the Developer Days) Cc: caml-list@inria.fr In-Reply-To: <6f9f8f4a0801281235s136f53b4qae8ec2c928f931c@mail.gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <1201439362.6302.15.camel@Blefuscu> <200801281525.36392.jon@ffconsultancy.com> <200801281949.13064.jon@ffconsultancy.com> <3a360f590801281216r28ad06f1ufadf4d7ceb74b84c@mail.gmail.com> <6f9f8f4a0801281235s136f53b4qae8ec2c928f931c@mail.gmail.com> X-Google-Sender-Auth: 1055ca557df87547 X-Miltered: at concorde with ID 479E3F3C.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 stdlib:01 bug:01 compiler:01 ocaml:01 stdlib:01 camlp:01 patched:01 compiler:01 recursive:01 distro:01 lgpl:01 recursive:01 28,:98 28,:98 On Jan 28, 2008 3:35 PM, Loup Vaillant wrote: > 2008/1/28, Hezekiah M. Carty : > > On Jan 28, 2008 2:49 PM, Jon Harrop wrote: > > > On Monday 28 January 2008 15:43:22 Sylvain Le Gall wrote: > > > > On 28-01-2008, Jon Harrop wrote: > > > > > On Monday 28 January 2008 13:35:34 Sylvain Le Gall wrote: > > > > >> I think we don't have discuss about dropping what is currently in the > > > > >> standard library. INRIA will keep everything. > > > > >> ... > > > > >> Nobody will thrown the standard library. > > > > > > > > > > So we cannot fix the stdlib? > > > > > > > > Yep, this is what is called "bug compatible" library... But you can > > > > create one on your own and remove the one from INRIA (hints > > > > -nopervasives on your compiler command line). > > > > > > Then I don't understand how this improves upon the current situation. > > > > > > > My understanding is that the benefits would come from having a richer, > > community developed "official" OCaml distribution. So the stdlib > > would stay in place, but extra items would be included as well. For > > example, package ExtLib and some commonly useful Camlp4 extensions > > along with the distribution .tar.gz/.exe/.dmg. If I understood the > > meeting transcription in IRC, the official OCaml folks at INRIA would > > bless this as the proper way to get and install OCaml once the > > community structure is in place. > > Could a patched version of the stdlib and/or compiler could be bundled > in such a distribution? This is the only way to have a tail recursive > List.map, for instance. > > I suppose working around the license can be done without too much > hassle? If I understand, the distro maker have to distribute the > unmodified sources and the patches, so the user have to first apply > the patches, then compile whats need to be (possibly using a script to > automate the whole process). > > Loup > The library license is LGPL, so the stdlib could be changed in the distribution without extra licensing trouble. However, that is probably not the way to go if we want to maintain bug-for-bug compatibility. For the example you mentioned, ExtLib already has a tail recursive List.map, so if that were included it (or something similar) in the official distribution then developers will know that "open ExtList" will provide them with a tail recursive List.map implementation without the end user having to install libraries out of the official distribution. I do not know the details of the compiler license (QPL) but I think modifications would have to be distributed as patches and then applied on the user's end. I also do not know how this would affect binary distributions of OCaml. -- Hezekiah M. Carty Graduate Research Assistant University of Maryland Department of Atmospheric and Oceanic Science