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 RAA21285; Wed, 6 Nov 2002 17:51:13 +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 RAA21179 for ; Wed, 6 Nov 2002 17:51:12 +0100 (MET) Received: from [192.168.2.44] (as5300.kharkov.ukrtel.net [195.5.1.188]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id gA6Gp4D20629 for ; Wed, 6 Nov 2002 17:51:04 +0100 (MET) Received: from yrashk by openeas.org with local (masqmail 0.2.6) id 189TTb-8Pj-00; Wed, 06 Nov 2002 18:56:23 +0200 Date: Wed, 6 Nov 2002 18:56:23 +0200 From: "Yurii A. Rashkovskii" To: Alessandro Baretta Cc: caml-list@inria.fr Subject: Re: [Caml-list] module namespace Message-ID: <20021106165623.GI24776@rashko> 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> <3DC942DE.2050008@baretta.com> Mime-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="NgG1H2o5aFKkgPy/" Content-Disposition: inline In-Reply-To: <3DC942DE.2050008@baretta.com> User-Agent: Mutt/1.4i Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk --NgG1H2o5aFKkgPy/ Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Hi Alessandro! On Wed, 06 Nov 2002, Alessandro Baretta wrote: > >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.=20 >=20 > I think this is a very cool feature. It has some interesting=20 > implications which must be worked out first. Consider the=20 > case where the user is not connected to the same service=20 > that provides the package. A portable computer user, for=20 > example, or simply someone wishing to install from=20 > disk-based source distribution. There must be an alternative=20 > way of resolving packages. One solution might be defining a=20 > CAMLPATH environment variable ? la Java CLASSPATH, and=20 > looking for the modules in=20 > / before actually=20 > attempting a network connection. I've already thought of it and have an idea how to resolve this problem. It is basically matches yours (something like local-proxy). In fact, since a lot of my development goes at my home PC w/ only dialup, it is a very important thing for me, so this problem will be resolved at the best way :) =20 > Finally, a really cool, cool, cool feature would be dynamic=20 > linking of Ocaml modules from their namespace URL, with=20 > static typechecking at compile time against the=20 > corresponding .mli files. How do you like this idea, Yurii? Well, I like and will implement it soon. --=20 Regards, Yurii. --NgG1H2o5aFKkgPy/ Content-Type: application/pgp-signature Content-Disposition: inline -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.2.0 (GNU/Linux) iD8DBQE9yUm3/5/+hDnz2cERAqKcAJ4zG26verqMcjCWWgMEo7k2/XUcugCg2t1d LozcvuwwkAereTDoGYE6eP8= =tEu3 -----END PGP SIGNATURE----- --NgG1H2o5aFKkgPy/-- ------------------- 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