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 TAA12713; Thu, 18 Mar 2004 19:33:35 +0100 (MET) 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 TAA13249 for ; Thu, 18 Mar 2004 19:33:34 +0100 (MET) Received: from fichte.ai.univie.ac.at (fichte.ai.univie.ac.at [131.130.174.156]) by concorde.inria.fr (8.12.10/8.12.10) with ESMTP id i2IIXWHd000974 for ; Thu, 18 Mar 2004 19:33:33 +0100 Received: from fichte.ai.univie.ac.at (markus@localhost [127.0.0.1]) by fichte.ai.univie.ac.at (8.12.3/8.12.3/Debian-6.6) with ESMTP id i2IIXQHn009051; Thu, 18 Mar 2004 19:33:26 +0100 Received: (from markus@localhost) by fichte.ai.univie.ac.at (8.12.3/8.12.3/Debian-6.6) id i2IIXPuA009050; Thu, 18 Mar 2004 19:33:25 +0100 Date: Thu, 18 Mar 2004 19:33:25 +0100 From: Markus Mottl To: Alex Baretta Cc: Benjamin Geer , Ocaml Subject: Re: OCaml's Cathedral & Bazaar (was Re: [Caml-list] Completeness of "Unix" run-time library) Message-ID: <20040318183325.GD1233@fichte.ai.univie.ac.at> Mail-Followup-To: Alex Baretta , Benjamin Geer , Ocaml References: <4059994E.2010802@socialtools.net> <20040318151234.B21768@pauillac.inria.fr> <4059D9D6.4080903@socialtools.net> <4059E2BD.6060902@baretta.com> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <4059E2BD.6060902@baretta.com> User-Agent: Mutt/1.4.1i 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; ocaml's:01 caml-list:01 run-time:01 baretta:01 compiler:01 compilers:01 ocaml:01 caml:01 alex:01 alex:01 mottl:02 mottl:02 unix:02 silly:02 wrote:03 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk X-Keywords: X-UID: 178 On Thu, 18 Mar 2004, Alex Baretta wrote: > Xavier, what you guys must do is not pontificate but define once and > for all the official role of the community in relation to Inria and > to the Caml team. Well, to add my two cents to this discussion, I don't think we can say "you guys must do", the simple reason being that the question is rather whether they "can do" (in terms of time/resources). I mostly agree with Xavier that the "Cathedral style" is the better choice for the development of the language and compilers. I also believe that the standard libraries shipped with the compiler should remain in the "Cathedral", too. But I also agree with Alex that INRIA should more clearly define standards that give the community some stability what concerns the way of contributing. This is an age-old topic! Some kind of package management in the spirit of GODI would be very nice indeed, and I think that this should also become part of the "Cathedral", because it would otherwise not take off easily. Package management is such a basic and important tool that really everybody using OCaml would need. As an incentive to INRIA, just imagine how much peace and time for research you could have with good, portable package management: no more silly user requests about adding more stuff to the standard libraries! What concerns other contributions, be it datastructures, more fully featured system libraries, etc., this is all too specific to be done in a cathedral and should therefore remain part of the "Bazaar". I don't expect INRIA to develop or maintain such libraries for us (even though I'd be very grateful :-). Regards, Markus -- Markus Mottl http://www.oefai.at/~markus markus@oefai.at ------------------- 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