From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: weis Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id TAA20854 for caml-redist; Tue, 25 Apr 2000 19:04:57 +0200 (MET DST) 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 FAA11553 for ; Sun, 23 Apr 2000 05:20:39 +0200 (MET DST) Received: from localhost.localdomain (starvin-marvin217.zip.com.au [210.23.142.217]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id FAA15750 for ; Sun, 23 Apr 2000 05:20:34 +0200 (MET DST) Received: from maxtal.com.au (IDENT:root@localhost [127.0.0.1]) by localhost.localdomain (8.9.3/8.8.7) with ESMTP id NAA25680; Sun, 23 Apr 2000 13:20:20 +1000 Sender: weis Message-ID: <39026BF4.DB0B8B7C@maxtal.com.au> Date: Sun, 23 Apr 2000 13:20:20 +1000 From: John Max Skaller X-Mailer: Mozilla 4.7 [en] (X11; I; Linux 2.2.12-20 i686) X-Accept-Language: en MIME-Version: 1.0 To: Gerd.Stolpmann@darmstadt.netsurf.de CC: caml-list@inria.fr Subject: Re: When functional languages can be accepted by industry? References: <200004192221.AAA29133@beach.frankfurt.netsurf.de> <3900B255.BE396EC4@maxtal.com.au> <00042220462404.09986@ice> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Gerd Stolpmann wrote: > > On Fri, 21 Apr 2000, John Max Skaller wrote: > > >Perhaps the first, and simplest step, is to augment the notion > >of 'path' from a list of directories to search for a module A, > >to the notion that we can navigate the file system _tree_ looking > >for 'nested' module name such as D1.D2.B. > > The problem is that the pseudo modules D1 and D1.D2 do not have > signatures (or better: they do not have a fixed signature) > because you can always put another module into the directory. So give them signatures! More precisely: it may be necessary to _compile_ directories to get *.cmi files for them. This makes sense, it is analogous to compiling a text file. I am making a simple suggestion: allow a directory to work 'as if' it were a text file containing the contents of the directory as nested module declarations. You are right then, that the compilation model would require actually compiling the interface and module 'of' the directory. The main difference is how the programmer 'edits' this module: it is by placing files in the directory rather than with a 'text editor'. -- John (Max) Skaller, mailto:skaller@maxtal.com.au 10/1 Toxteth Rd Glebe NSW 2037 Australia voice: 61-2-9660-0850 checkout Vyper http://Vyper.sourceforge.net download Interscript http://Interscript.sourceforge.net