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 MAA12172; Sat, 20 Mar 2004 12:29:53 +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 MAA12262 for ; Sat, 20 Mar 2004 12:29:51 +0100 (MET) Received: from rabelais.socialtools.net (rabelais.socialtools.net [81.2.94.243]) by concorde.inria.fr (8.12.10/8.12.10) with ESMTP id i2KBToHd005089 for ; Sat, 20 Mar 2004 12:29:50 +0100 Received: by rabelais.socialtools.net (Postfix, from userid 108) id 71182232FE; Sat, 20 Mar 2004 11:29:50 +0000 (GMT) Received: from socialtools.net (chaucer.socialtools.net [81.2.94.242]) by rabelais.socialtools.net (Postfix) with ESMTP id 61EEF232FD; Sat, 20 Mar 2004 11:29:49 +0000 (GMT) Message-ID: <405C2B2D.3010900@socialtools.net> Date: Sat, 20 Mar 2004 11:29:49 +0000 From: Benjamin Geer User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.6) Gecko/20040113 X-Accept-Language: en-gb, en, fr, it MIME-Version: 1.0 To: Matt Gushee Cc: caml-list@pauillac.inria.fr Subject: Re: OCaml's Cathedral & Bazaar (was Re: [Caml-list] Completeness of "Unix" run-time library) References: <07FEC955-782B-11D8-850C-000A957FFA4A@csun.edu> <20040318001905.36025.qmail@web41206.mail.yahoo.com> <20040318085638.GA11753@swordfish> <20040318185723.GE27866@speakeasy.org> <20040320061248.GA26090@swordfish> In-Reply-To: <20040320061248.GA26090@swordfish> Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit X-Spam-Checker-Version: SpamAssassin 2.63 (2004-01-11) on rabelais.socialtools.net X-Spam-Status: No, hits=-4.9 required=5.0 tests=BAYES_00 autolearn=ham version=2.63 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 gushee:01 namespaces:01 foo:01 extlib:01 foo:01 ocaml:01 ocaml:01 caml:01 caml:01 unix:02 module:03 module:03 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk X-Keywords: X-UID: 268 Matt Gushee wrote: >>High on my wish-list for the core ocaml system is >>namespaces or something similiar to help resolve this problem. > > Agreed. Even in my fairly short time programming OCaml, I've had to > struggle several times to find a good name for a module. What I'd like is to be able to create a unique name for a project, and then use it as a namespace containing non-unique module names. For example, I use the domain saucecode.org for my Caml work. I'd like to be able to create a Saucecode namespace, and within it create module names representing libraries, without worrying about whether those names are unique in the whole Caml community. So a user could use my Saucecode.Foo module, and someone else's Extlib.Foo module, without any conflict. Today I can create a Saucecode module with a Foo module inside it, but I can only define Saucecode once. That means that I would have to package all my libraries as a single download, and anyone who wanted to use one library would have to use them all. Be ------------------- 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