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 are
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; 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
directed
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 ---