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 GAA03132; Sat, 24 Apr 2004 06:40:29 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id GAA02898 for ; Sat, 24 Apr 2004 06:40:28 +0200 (MET DST) Received: from glockenspiel.complete.org (glockenspiel.complete.org [69.10.152.57]) by nez-perce.inria.fr (8.12.10/8.12.10) with ESMTP id i3O4eQjq006931 for ; Sat, 24 Apr 2004 06:40:27 +0200 Received: from localhost (localhost [127.0.0.1]) by glockenspiel.complete.org (Postfix) with ESMTP id E3BBB10A; Fri, 23 Apr 2004 23:40:30 -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 03865-08; Fri, 23 Apr 2004 23:40:28 -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 87F0882; Fri, 23 Apr 2004 23:40:27 -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 47A25101E; Fri, 23 Apr 2004 23:40:17 -0500 (CDT) Received: by heinrich.complete.org (Postfix, from userid 1000) id 87244A35A; Fri, 23 Apr 2004 23:40:55 -0500 (CDT) Date: Fri, 23 Apr 2004 23:40:55 -0500 From: John Goerzen To: Basile STARYNKEVITCH Cc: caml-list@inria.fr Subject: Re: [Caml-list] [ANN] The Missing Library Message-ID: <20040424044055.GB27972@complete.org> References: <20040423185148.GA4434@excelhustler.com> <20040423195206.GA27257@tallman.kefka.frap.net> <20040423202342.GA5962@excelhustler.com> <20040423223611.33ef1c08@haddock.max.fr> <20040423211003.GD6783@excelhustler.com> <20040423220815.GA1983@ours.starynkevitch.net> Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable In-Reply-To: <20040423220815.GA1983@ours.starynkevitch.net> User-Agent: Mutt/1.5.5.1+cvs20040105i X-Virus-Scanned: by amavisd-new-20030616-p7 (Debian) at complete.org X-Miltered: at nez-perce 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 basile:01 2004:99 featureful:01 advocating:01 extlib:01 extlib:01 dormant:99 lacking:01 implemented:01 incompatible:01 labltk:01 snapshots:01 developping:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Sat, Apr 24, 2004 at 12:08:15AM +0200, Basile STARYNKEVITCH wrote: > On Fri, Apr 23, 2004 at 04:10:03PM -0500, John Goerzen wrote: > > > I'm getting bored of this song. What about this one : > > > "The number of extlibs is a symptom of the problems with the > > > community of OCaml users" ? >=20 > > You view it as a problem that some in the OCaml community would like to > > see a more featureful and easy to use standard library? Why? >=20 [ snip ] > I think that the standard library is actually rather perhaps too big, > than too small! If you are advocating splitting bits of the standard library into a centrally-maintained community resource, that makes a lot of sense to me. If you are repeating the argument that "feh, task x can be trivially done with less than 10 lines of code!", then I disagree completely. Which is it? :-) > It is a pity that 2 libraries named ExtLib exist, and it is certainly > not the fault of OCaml team (I tend to believe that one of the ExtLib > named library is nearly dormant, and I invite the author of this > library to rename it). I agree. > especially when compared to the US or to Japan), I don't think that it > is the goal of INRIA to code lots of external libraries, or even to > manage the naming of many packages, which is a very labor-consuming I have never asked that they do that, nor do I expect them to. However, we have a somewhat unfortunate situation. INRIA does, for whatever reason, maintain a large OCaml library -- probably the largest in existance and certainly the most widely distributed. This same library is, in the opinion of some, lacking in features which INRIA has for plenty of understandable reasons (lack of time, etc.) not implemented. Now we are stuck. If I were to write "John's unix" or "John's str", they would be incompatible with the standard unix or str. Code using modules written for one could not just automatically use modules written for another. (I assume there are some exceptions here, but probably not many.) So I think there are three good ways to move forward: 1. INRIA devotes more resources to the library; 2. INRIA becomes much more active with accepting patches from people in the community and communicates better with the community; 3. INRIA splits off Unix (and perhaps others such as dbm, labltk, etc) for the community to maintain. INRIA could, at their option, bundle snapshots of these community efforts with various OCaml releases to ensure no loss of functionality with a standard install. > INRIA is not a big commercial company like Sun. So the goals of INRIA > w.r.t. Ocaml are not similar to the goals of Sun w.r.t. Java. And the I'm not sure that is a bad thing :-) > Everyone can contribute to Ocaml by developping libraries, and > advertising them (e.g. thru the Hump). If there is a name clash, it What what do you say to the compatibility problems I've raised? To be sure, there are yet technical obstacles, such as difficult installation and build systems, but from the recent discussion on those, I am accepting that they will be resolved. > should be socially resolved, and it is not a research goal to solve it > (this is why it is not INRIA's job to solve such conflicts, and > solving such "managing" or "social" problems is extremely time > consuming, hence very costly). I agree again. Let the community do its thing. But if they are to do that, you must let them by not insisting on bundling dated software with the standard distribution. > In my opinion, the standard library should be kept small, and should > contain only the functions commonly needed to the compiler and to all > the Ocaml software produced by INRIA in relation to the OCaml language > (e.g. compilers and similar tools). The standard library should > certainly not becomes the union of all useful OCaml modules (from the > Hump - which is more a Bazar, while the core Ocaml software, including > the standard library, is a Cathedral). I have no problem with that CPAN-like approach. Personally, I prefer Python's approach, but CPAN works too :-) Of course, there's nothing stopping INRIA from taking compatibly-licensed stuff from the community and bundling it with OCaml. > Regarding standard libraries, they should be kept small, because they > have to be learnt with the language. I believe that one of Common Lisp > problems (and perhaps source of failure) is the huge size of its > standard library, which is intimidating. I'm not sure about CL, but I can heartily echo that sentiment with Java. Regardless of the final outcome of the library, it should be well-planned. > Again, everything above is my own opinion, not those of INRIA (where I > happen to work currently) - I am not paid to talk for INRIA! But I > think that there is too much criticism w.r.t. to the work on Ocaml > done at INRIA. "C'est la ran=E7on du succ=E8s" (I leave this last sentence > in French). Please don't take my messages that way; I do not mean them like that at all. I understand completely how INRIA has constraints like everyone else and am not complaining that they don't put more resources to it. I do think the state of affairs is bad. I think we need to fix it. And I think that INRIA has to be involved in that fix, even if their involvement ends with saying "Here, have at it; this is no longer part of OCaml" or "Here, have at it; we'll sync with your CVS when we make a release" or something along those lines. I'm not asking INRIA to solve all the world's problems. Just to decide whether or not they want to :-) -- 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