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 JAA14652; Sat, 2 Nov 2002 09:51:50 +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 JAA13263 for ; Sat, 2 Nov 2002 09:51:50 +0100 (MET) X-SPAM-Warning: Sending machine is listed in blackholes.five-ten-sg.com Received: from athlon.baretta.com ([62.211.4.13]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id gA28pn512830 for ; Sat, 2 Nov 2002 09:51:49 +0100 (MET) Received: from baretta.com (localhost.localdomain [127.0.0.1]) by athlon.baretta.com (Postfix) with ESMTP id DA8712739D; Sat, 2 Nov 2002 09:51:18 +0100 (CET) Message-ID: <3DC39206.5080504@baretta.com> Date: Sat, 02 Nov 2002 09:51:18 +0100 From: Alessandro Baretta Organization: Baretta srl -- www.baretta.com User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.1) Gecko/20020826 X-Accept-Language: it, en MIME-Version: 1.0 To: "Yurii A. Rashkovskii" , Ocaml Subject: Re: [Caml-list] module namespace References: <20021102002456.GC8925@rashko> Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk I think this is very interesting. Yurii A. Rashkovskii wrote: > I've developed small preprocessor module that provides kind of > namespace support for the Objective Caml. > > It defines following constructs: > > * module ModuleName in [Namespace|Namespace.Namespace] This method of defining namespaces would require some form of central authority allocating namespace "domains" to developers, so as to acertain that no two companies or users will use the same namespace for their projects. Since this would put unnecessary burden on INRIA and on the developers, I advocate, as I already mentioned, the XML solution: a namespace is an arbitrary string literal enclosed by double quotes. The convention would be for each company or developer to use URLs pertaining to domains officially belonging to them. > it defines module type ModuleTypeName within namespace > > Example: > module type T = sig val test:unit end Typo? Alex ------------------- 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