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 NAA23203; Sat, 24 Apr 2004 13:00:17 +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 NAA23191; Sat, 24 Apr 2004 13:00:16 +0200 (MET DST) Received: from hirsch.in-berlin.de (hirsch.in-berlin.de [192.109.42.6]) by concorde.inria.fr (8.12.10/8.12.10) with ESMTP id i3OB0EYM014997; Sat, 24 Apr 2004 13:00:15 +0200 X-Envelope-From: oliver@first.in-berlin.de Received: from hirsch.in-berlin.de (localhost [127.0.0.1]) by hirsch.in-berlin.de (8.12.11/8.12.11/Debian-3) with ESMTP id i3OB02ow001593; Sat, 24 Apr 2004 13:00:09 +0200 Received: from first.UUCP (uucp@localhost) by hirsch.in-berlin.de (8.12.11/8.12.11/Debian-3) with UUCP id i3OAo1r6000604; Sat, 24 Apr 2004 12:50:01 +0200 Received: by first.in-berlin.de via sendmail from stdin id (Debian Smail3.2.0.114) Sat, 24 Apr 2004 11:40:08 +0200 (CEST) From: oliver@first.in-berlin.de (Oliver Bandel) Date: Sat, 24 Apr 2004 11:40:08 +0200 To: caml-list@inria.fr Cc: Alain.Frisch@ens.fr, Maxence Guesdon , Caml list Subject: Re: [Caml-list] [ANN] The Missing Library Message-ID: <20040424094008.GA1336@first.in-berlin.de> References: <20040423213325.GF6783@excelhustler.com> <20040424042640.GA27972@complete.org> Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline In-Reply-To: <20040424042640.GA27972@complete.org> User-Agent: Mutt/1.3.28i 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; oliver:01 in-berlin:01 oliver:01 bandel:01 caml-list:01 2004:99 2004:99 alain:01 frisch:01 cough:01 intersting:01 bootstrap:01 dynlink:01 threads:01 forking:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Fri, Apr 23, 2004 at 11:26:40PM -0500, John Goerzen wrote: > 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... Yes, that is really intersting tolook at it this way. > > > 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. It could also mean that - if Extlib or something else - is mature and ok for the OCaml-core-team then it could be added here too. Why not developping external libraries in fast cycles and - from time to time, when reviewed by the OCaml-team - adding such libraries in a slower cycle into the Ocaml distribution? Similar to Linux's unstable-stable distinction, where one might rather use the stable versions when working in an production environment and the unstable when one wants to try the newest feateures... it could be done with OCaml in a similar way: Using the newest external libs, when you want, or using the (lower update frequencies) not-so-external libs, that come along with the distribution, but it will not be updated as often as the versions/releases of the "external" lib that was not released with the OCaml distribution? So "external" libraries could come along with the OCaml-distribution, but will not updated as often as the same libraries on the public cvs. This would be not "free access cvs VERSUS INRIA-Ocaml-distribution", it would be "free assess cvs ALONG WITH INRIA-Ocaml-distribution". Ciao, Oliver ------------------- 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