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.6 required=5.0 tests=BAYES_00,TO_NO_BRKTS_FROM_MSSP
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,88093378be1184d4
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2001-11-09 08:40:42 PST
Path: 
 archiver1.google.com!news1.google.com!sn-xit-02!supernews.com!newsfeed.direct.ca!look.ca!sfo2-feed1.news.digex.net!intermedia!news-out.spamkiller.net!propagator-la!news-in-la.newsfeeds.com!newsranger.com!www.newsranger.com!not-for-mail
Newsgroups: comp.lang.ada
From: Ted Dennison<dennison@telepath.com>
References: <9s941p$11mrei$4@ID-25716.news.dfncis.de>
 <uwv13dcz0.fsf@gsfc.nasa.gov> <9s99tt$pdb$1@nh.pace.co.uk>
 <9s9s8p$11vt7l$1@ID-25716.news.dfncis.de> <u1yjacqea.fsf@gsfc.nasa.gov>
 <9sc5l8$9b7$1@nh.pace.co.uk> <9sdnng$djs$1@news.huji.ac.il>
Subject: Re: List Container Straw Man
Message-ID: <rFTG7.19010$xS6.30652@www.newsranger.com>
X-Abuse-Info: When contacting newsranger.com regarding abuse please
X-Abuse-Info: forward the entire news article including headers or
X-Abuse-Info: else we will not be able to process your request
X-Complaints-To: abuse@newsranger.com
NNTP-Posting-Date: Fri, 09 Nov 2001 11:39:51 EST
Organization: http://www.newsranger.com
Date: Fri, 09 Nov 2001 16:39:51 GMT
Xref: archiver1.google.com comp.lang.ada:16138
Date: 2001-11-09T16:39:51+00:00
List-Id: <comp.lang.ada>

In article <9sdnng$djs$1@news.huji.ac.il>, Ehud Lamm says...
>One specific issue, is that the working by extending tagged types naturally
>leads to using child packages. Most will be generic if, like me, you prefer
>Element_Type to be generic.
>This leads to the nasty issues of nested instantations, which are quite hard
>to hide from the programmer using the packages, unless I am missing
>something.

I don't see a way out of it either. The implication here is that you can have
one of:

o  Simple instantiation.
o  Tagged containers and/or container child packages.

You *cannot* have both. Therefore I'd say at this point that either we have to
admit that Booch's (and other's) implementations aren't really so unacceptable,
or we have to agree to stick with designs that don't use tagged containers and
child packages. To some this may have been obvious, but bringing issues like
this out into the open was one of the reasons for presenting the strawman.

---
T.E.D.    homepage   - http://www.telepath.com/dennison/Ted/TED.html

No trees were killed in the sending of this message. 
However a large number of electrons were terribly inconvenienced.