From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id GAA02527; Sat, 24 Apr 2004 06:26:16 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id GAA02708; Sat, 24 Apr 2004 06:26:14 +0200 (MET DST) Received: from glockenspiel.complete.org (glockenspiel.complete.org [69.10.152.57]) by concorde.inria.fr (8.12.10/8.12.10) with ESMTP id i3O4QDYM000770; Sat, 24 Apr 2004 06:26:13 +0200 Received: from localhost (localhost [127.0.0.1]) by glockenspiel.complete.org (Postfix) with ESMTP id 0871918C; Fri, 23 Apr 2004 23:26:15 -0500 (CDT) Received: from glockenspiel.complete.org ([127.0.0.1]) by localhost (glockenspiel [127.0.0.1]) (amavisd-new, port 10025) with ESMTP id 03825-04; Fri, 23 Apr 2004 23:26:12 -0500 (CDT) Received: from erwin.complete.org (unknown [12.149.180.20]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (Client CN "erwin.complete.org", Issuer "John Goerzen -- Root CA" (verified OK)) by glockenspiel.complete.org (Postfix) with ESMTP id BBEF082; Fri, 23 Apr 2004 23:26:11 -0500 (CDT) Received: from heinrich.complete.org (heinrich.lan.complete.org [10.200.0.15]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (Client CN "christoph.complete.org", Issuer "John Goerzen -- Root CA" (verified OK)) by erwin.complete.org (Postfix) with ESMTP id 13CFFE55; Fri, 23 Apr 2004 23:26:02 -0500 (CDT) Received: by heinrich.complete.org (Postfix, from userid 1000) id 5511BA354; Fri, 23 Apr 2004 23:26:40 -0500 (CDT) Date: Fri, 23 Apr 2004 23:26:40 -0500 From: John Goerzen To: Alain.Frisch@ens.fr Cc: Maxence Guesdon , Caml list Subject: Re: [Caml-list] [ANN] The Missing Library Message-ID: <20040424042640.GA27972@complete.org> References: <20040423213325.GF6783@excelhustler.com> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.5.1+cvs20040105i X-Virus-Scanned: by amavisd-new-20030616-p7 (Debian) at complete.org X-Miltered: at concorde by Joe's j-chkmail ("http://j-chkmail.ensmp.fr")! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 2004:99 alain:01 frisch:01 cough:01 bootstrap:01 dynlink:01 threads:01 forking:01 maxence:01 apis:01 pcre:01 stdlib:01 stdlib:01 compiler:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Sat, Apr 24, 2004 at 12:04:08AM +0200, Alain.Frisch@ens.fr wrote: > On Fri, 23 Apr 2004, John Goerzen wrote: > > > Let me expand on this a bit. It is clear that people are unsatisfied > > with the quality of the standard library and that others have been able > > to provide useful features (*cough* IPv6 and other basic Unix calls) far > > sooner than Inria has. Why are you oppsed to this? > > Please note that Unix is *not* part of the OCaml standard library. It is > just a library included in the standard distribution. That is interesting to note but, does it actually mean something? (This is not a rhetorical question; I really don't know.) I always assumed the libraries listed separately in the docs were just that way because I had to explicitly list unix.cmxa or str.cmxa to link with them... > Maybe the situation would more clear if: > 1] the standard library was called the bootstrap library; > 2] other libraries were removed from the standard distribution (ok, maybe > except dynlink, bigarray, threads which require some cooperaton with > the compiler, AFAIK). Yes. That could make a lot of things easier. As I've pointed out in some of my other messages, the problem with Unix in particular is that forking it will result in a painful compatibility choice for developers. If Unix could be split off the core and allowed to evolve more rapidly, that seems only a good thing to me. > The relevant message in the thread Maxence makes reference to is probably: > > http://caml.inria.fr/archives/200403/msg00171.html > OCaml has a slow release cycle and the ocaml team wants to keep control > over the standard distribution. So, having most of the libraries outside > of this distribution is a good thing, provided there is a good package > manager (either system specific or OCaml oriented). This allows the > community to gain control over the libraries and have quicker release > cycles. I agree completely. I read that message, and Xavier writes "the preferred way to contribute to Caml is through independent libraries and tools, not by aiming at getting your stuff in the core OCaml distribution." That fine if it adds something that does not already exist in the core (database APIs, PCRE, configuration parsers to name a few examples.) But I don't think the suggestion really works for things like Unix that are already there. > peer-review system, which is good. People interested in extending the > stdlib might want to join their effort (I'm personally quite happy > with the stdlib, I don't care writing three-liners functions several I guess one thing I need to do is split my activities into "extends stdlib" and "separate module". -- John ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners