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 WAA21404; Thu, 18 Mar 2004 22:16:26 +0100 (MET) 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 WAA23134 for ; Thu, 18 Mar 2004 22:16:25 +0100 (MET) Received: from kefka.frap.net (adsl-64-162-212-212.dsl.snfc21.pacbell.net [64.162.212.212]) by nez-perce.inria.fr (8.12.10/8.12.10) with ESMTP id i2ILGqKW009573 for ; Thu, 18 Mar 2004 22:16:53 +0100 Received: by kefka.frap.net (Postfix, from userid 1000) id 7A57B6A4C29; Thu, 18 Mar 2004 13:16:17 -0800 (PST) Date: Thu, 18 Mar 2004 13:16:15 -0800 From: Kenneth Knowles To: caml-list@pauillac.inria.fr Subject: Re: OCaml's Cathedral & Bazaar (was Re: [Caml-list] Completeness of "Unix" run-time library) Message-ID: <20040318211615.GA6024@kefka.frap.net> References: <07FEC955-782B-11D8-850C-000A957FFA4A@csun.edu> <20040318001905.36025.qmail@web41206.mail.yahoo.com> <20040318085638.GA11753@swordfish> <20040318185723.GE27866@speakeasy.org> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20040318185723.GE27866@speakeasy.org> User-Agent: Mutt/1.5.6i 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; knowles:99 ocaml's:01 caml-list:01 run-time:01 2004:99 2004:99 gushee:01 namespaces:01 namespaces:01 cpan-like:01 dependencies:01 compile-time:01 -pack:01 ocaml:01 ocaml:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk X-Status: X-Keywords: X-UID: 184 On Thu, Mar 18, 2004 at 10:57:23AM -0800, Shawn Wagner wrote: > On Thu, Mar 18, 2004 at 01:56:38AM -0700, Matt Gushee wrote: > Even if one of us did change the name of ours, there would still be problems > if someone wanted to use both, because some modules have the same names. > I've also noticed other libraries recently where that sort of colllision > would be a problem. As the available number of libraries for ocaml grows, > it'll get worse. High on my wish-list for the core ocaml system is > namespaces or something similiar to help resolve this problem. I was just thinking about this today on the train... The thing that solves it for perl is for modules to appear to be inside each other even though they are developed/installed separately. I agree that the ocaml syntax already gives more sugar and different ways of doing things than is really necessary, so I really feel namespaces and modules would be redundant. For ocaml, since modules are not first-class, wouldn't it just be a compilation frontend issue to do this merging (in addition to some syntax to declare module X.Y)? I'm just pondering, but it seems possible and remarkably useful in order to move towards a CPAN-like module repository. Dependencies between modules would naturally cause compile-time failure if they were not present, which is desirable. This seems like one simple step which would enormously increase the ability of the community to more effectively contribute libraries and modules, and halt a lot of complaints to the INRIA team. On the bright side, at least the collisions are only at the module level... if each library contained all modules in a larger module, such as with the -pack option, then only this outer name need be unique. Kenn ------------------- 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