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: 1108a1,93fa00d728cc528e
X-Google-Attributes: gid1108a1,public
X-Google-Thread: 103376,93fa00d728cc528e
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 1994-10-24 23:28:43 PST
Path: 
 nntp.gmd.de!newsserver.jvnc.net!news.cac.psu.edu!news.pop.psu.edu!psuvax1!news.ecn.bgu.edu!usenet.ins.cwru.edu!magnus.acs.ohio-state.edu!math.ohio-state.edu!uwm.edu!news.alpha.net!news.mathworks.com!europa.eng.gtefsd.com!library.ucla.edu!galaxy.ucr.edu!ihnp4.ucsd.edu!network.ucsd.edu!mbk
From: mbk@inls1.ucsd.edu (Matt Kennel)
Newsgroups: comp.lang.ada,comp.object
Subject: Re: SOLVED! Decoupled Mutual Recursion Challenger
Followup-To: comp.lang.ada,comp.object
Date: 25 Oct 1994 05:47:39 GMT
Organization: Institute For Nonlinear Science, UCSD
Message-ID: <38i65r$li2@network.ucsd.edu>
References: <38hcv3$j85@baleen.cs.ucla.edu>
NNTP-Posting-Host: lyapunov.ucsd.edu
X-Newsreader: TIN [version 1.1 PL8]
Xref: nntp.gmd.de comp.lang.ada:16129 comp.object:16509
Date: 1994-10-25T05:47:39+00:00
List-Id: <comp.lang.ada>

Jay Martin (jmartin@baleen.cs.ucla.edu) wrote:

: Ada9x is too obese and is being too effected by trying to be an
: "elegant" (rigid) extension of obese Ada83.  I really don't understand
: why can't some clown spend a few minutes to come up with a cleaner
: smaller (more minimalist) Ada style language.

That's what Meyer did, it's called Eiffel.  Really.  Ada83 was a big
influence.

Absent this, the problem here in 9x can be "solved" by a nearly transparent
change to the language:  say "cyclic dependencies in types, but not
initialization expressions, are now allowed."  like
it always should have been, in my opinion.

Now you can declare an X which has a component of type/package/class/whatever
Y, and have Y which has a component of class X.

It's not transparent to the compiler implementors, but no fix
here would be.

--
-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".