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 RAA20074; Wed, 6 Nov 2002 17:27:29 +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 RAA20432 for ; Wed, 6 Nov 2002 17:27:29 +0100 (MET) X-SPAM-Warning: Sending machine is listed in blackholes.five-ten-sg.com Received: from athlon.baretta.com ([62.211.4.177]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id gA6GRRD19838 for ; Wed, 6 Nov 2002 17:27:28 +0100 (MET) Received: from baretta.com (localhost.localdomain [127.0.0.1]) by athlon.baretta.com (Postfix) with ESMTP id 381CF27252; Wed, 6 Nov 2002 17:27:10 +0100 (CET) Message-ID: <3DC942DE.2050008@baretta.com> Date: Wed, 06 Nov 2002 17:27:10 +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> <20021102223735.GA1237@la.iki.fi> <3DC62ACA.5020001@baretta.com> <200211051027.29699.jeffrey.palmer@acm.org> <3DC8EF32.D79A4A30@ps.uni-sb.de> <20021106141751.GE24776@rashko> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Yurii A. Rashkovskii wrote: > Moin Andreas! > > Andreas Rossberg schrieb am Wednesday, den 06. November 2002: > > >>Oz uses URIs to identify and locate modules. By default, the system >>recognizes file:, http: and x-oz: schemes, the latter denoting the >>standard library. Module management is programmable however, so that it >>may be extended to handle other schemes/protocols. > > > BTW, it's a nice idea. Most probably next release of OCamlNS will > deprecate my style of namespaces (Org.Ocaml.[...]) and let namespace > be "proto://..." and I'll develop ocamlnsc and ocamlnsopt that will > use namespace URLs to get the modules (even via http) and pass them > to ocamlc|ocamlopt (in way like ocamlfind). I don't know whether this > feature is demanded by ocaml users community, but for me it looks > very attractive and probably I'll use it my project. > > In my thoughts I think that URL should point to a kinda textual > module description (with dependencies and so on). I think this is a very cool feature. It has some interesting implications which must be worked out first. Consider the case where the user is not connected to the same service that provides the package. A portable computer user, for example, or simply someone wishing to install from disk-based source distribution. There must be an alternative way of resolving packages. One solution might be defining a CAMLPATH environment variable à la Java CLASSPATH, and looking for the modules in / before actually attempting a network connection. Finally, a really cool, cool, cool feature would be dynamic linking of Ocaml modules from their namespace URL, with static typechecking at compile time against the corresponding .mli files. How do you like this idea, Yurii? 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