#
X-Comment5: #
Tony Davie asks (re Haskell):
>All the messages pro and anti recursive modules are very interesting but
>my original question has been lost sight of. Are we meant to do
> dependency analysis
Original-Via: uk.ac.st-and.cs; Fri, 18 Oct 91 09:25:44 BST
>All the messages pro and anti recursive modules are very interesting but
>my original question has been lost sight of. Are we meant to do
>dependency analysis across module boundaries or not? and if so c
Original-Via: uk.ac.nsf; Fri, 18 Oct 91 05:18:44 BST
> The question here is whether a particular way of dividing tasks
> should be supported by a particular language mechanism. There
> are good (but perhaps not conclusive) arguments in favor of
> support for recursive modules. But "some things
Original-Via: uk.ac.ed.aiai; Thu, 17 Oct 91 18:18:32 BST
> (a general remark:)
>
> The aim of modularisation is (mainly) to govern
> in a divide-and-conquer way huge tasks.
> What is _huge_ depends on the ability/taste/[insert your favourite ...]
> of the humans having to deal with the task
> (a
Original-Via: uk.ac.ed.dcs; Thu, 17 Oct 91 18:04:19 BST
(a general remark:)
The aim of modularisation is (mainly) to govern
in a divide-and-conquer way huge tasks.
What is _huge_ depends on the ability/taste/[insert your favourite ...]
of the humans having to deal with the task
(and sometimes ev
Original-Via: uk.ac.ed.aiai; Thu, 17 Oct 91 16:12:59 BST
> Mutual recursion is a natural part of functional programming style, and
> we shouldn't have to come up with special examples to justify its existence.
If it were equally natural in this case then I think the issue would
never have arisen
Original-Via: uk.ac.st-and.cs; Thu, 17 Oct 91 09:45:57 BST
All the messages pro and anti recursive modules are very interesting but
my original question has been lost sight of. Are we meant to do
dependency analysis across module boundaries or not? and if so can anyone
see how to?
Tony Davie
: Jeff Dalton <[EMAIL PROTECTED]>
Subject: Re: dependency analysis
To: Kevin Hammond
In-Reply-To: Kevin Hammond's message of Wed, 16 Oct 91 14:05:14 BST
Cc: haskell
Sender: haskell-request
Status: R
> > > | Our Haskell in Haskell compiler modules are often unavoidably mutua
Original-Via: uk.ac.ed.aiai; Wed, 16 Oct 91 17:56:53 BST
> > > | Our Haskell in Haskell compiler modules are often unavoidably mutually
> > > | recursive. For small programs you may be right, but for large programs
> > > | mutually recursive modules are almost inevitable:
> > > |
> > > |
X-Comment1: #
X-Comment2: # uk.ac.glasgow.cs has changed to uk.ac.glasgow.dcs #
X-Comment3: # If this address does not work please ask your mail#
X-Comment4: # administrator to update your NRS & mailer tables. #
X-
Original-Via: uk.ac.ed.aiai; Tue, 15 Oct 91 17:08:55 BST
> | Our Haskell in Haskell compiler modules are often unavoidably mutually
> | recursive. For small programs you may be right, but for large programs
> | mutually recursive modules are almost inevitable:
> |
> | i)
Original-Via: uk.ac.ed.mrcvax; Tue, 15 Oct 91 16:19:08 BST
| Our Haskell in Haskell compiler modules are often unavoidably mutually
| recursive. For small programs you may be right, but for large programs
| mutually recursive modules are almost inevitable:
|
| i)
Original-Via: uk.ac.st-and.cs; Tue, 15 Oct 91 14:54:37 BST
> > Tony Davie's remarks prompt me to ask: "Who needs mutually recursive modules
> > anyway?". I've never missed the facility in Miranda and my programs
> > are much the clearer for it --- module dependency diagrams with NO
> > dir
Original-Via: uk.ac.nsf; Tue, 15 Oct 91 14:44:45 BST
> Tony Davie's remarks prompt me to ask: "Who needs mutually recursive modules
> anyway?". I've never missed the facility in Miranda and my programs
> are much the clearer for it --- module dependency diagrams with NO
> directed cycles --- b
Original-Via: uk.ac.ox.prg; Tue, 15 Oct 91 14:09:41 BST
| Tony Davie's remarks prompt me to ask: "Who needs mutually recursive modules
| anyway?". I've never missed the facility in Miranda and my programs
| are much the clearer for it --- module dependency diagrams with NO
| directed cycles ---
X-Comment1: #
X-Comment2: # uk.ac.glasgow.cs has changed to uk.ac.glasgow.dcs #
X-Comment3: # If this address does not work please ask your mail#
X-Comment4: # administrator to update your NRS & mailer tables. #
X-
Original-Via: uk.ac.ed.mrcvax; Tue, 15 Oct 91 11:25:31 BST
Tony Davie's remarks prompt me to ask: "Who needs mutually recursive modules
anyway?". I've never missed the facility in Miranda and my programs
are much the clearer for it --- module dependency diagrams with NO
directed cycles --- blis
Original-Via: uk.ac.st-and.cs; Tue, 15 Oct 91 10:17:24 BST
IS DEPENDENCY ANALYSIS WELL ENOUGH DEFINED?
1) When module A needs exported items from module B, it need only see its
interface for compilation of A to be carried out.
In fact an implementation of B need not exist yet.(section 5.1.1)
2
18 matches
Mail list logo
