From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-0.8 required=5.0 tests=BAYES_00,INVALID_DATE
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,a1f67187d079c901,start
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 1994-10-13 17:48:04 PST
Path: 
 bga.com!news.sprintlink.net!howland.reston.ans.net!swrinde!ihnp4.ucsd.edu!network.ucsd.edu!mbk
From: mbk@inls1.ucsd.edu (Matt Kennel)
Newsgroups: comp.lang.ada
Subject: Re: Is Ada the future? [was: Is C++ the future?]
Date: 13 Oct 1994 21:14:52 GMT
Organization: Institute For Nonlinear Science, UCSD
Message-ID: <37k80c$puh@network.ucsd.edu>
References: <1994Oct13.144031.7290@swlvx2.msd.ray.com>
NNTP-Posting-Host: lyapunov.ucsd.edu
X-Newsreader: TIN [version 1.1 PL8]
Date: 1994-10-13T21:14:52+00:00
List-Id: <comp.lang.ada>

John Volan (jgv@swl.msd.ray.com) wrote:
: The reason decoupled mutual recursion is *somewhat* harder in Ada has
: to do with broader decisions that pervade the design of the language,
: relating to modularity, encapsulation, separate compilation, scope,
: visibility, and so forth.

Specifically what are these decisions?  As far as I can tell, 
you could allow mutual dependency with no other change to the
language except saying "it is now allowed", and let the compiler
do The Right Thing that it should have done to begin with.

Why doesn't it?

: Well, would it help if some of us "Ada Amigoids" did the following: 

: (1) Honestly raise a technical issue wherever Ada appears to be weak.

: (2) Face that issue squarely and with dogged persistence, refusing to
: be satisfied by "solutions" that merely avoid the problem or
: trivialize it, rather than actually solving it.

Exactly.  Solve the problem.  

The core issue:  doing this should be possible.  (Indeed it
was hard for me to imagine that it should ever have been
not possible).

-- Obvious Eiffel construction.
class ONE is
 	a:TWO;
end;

class TWO is
	b:ONE;
end;


: -- John Volan

--
-Matt Kennel  		mbk@inls1.ucsd.edu
-Institute for Nonlinear Science, University of California, San Diego
-*** AD: Archive for nonlinear dynamics papers & programs: FTP to
-***     lyapunov.ucsd.edu, username "anonymous".