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=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	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-08 02:51:05 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!logbridge.uoregon.edu!news.huji.ac.il!not-for-mail
From: "Ehud Lamm" <mslamm@mscc.huji.ac.il>
Newsgroups: comp.lang.ada
Subject: Re: List Container Straw Man
Date: Thu, 8 Nov 2001 12:41:00 +0200
Organization: The Hebrew University of Jerusalem
Message-ID: <9sdnng$djs$1@news.huji.ac.il>
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>
NNTP-Posting-Host: di3-58.dialin.huji.ac.il
X-Trace: news.huji.ac.il 1005216305 13948 132.64.13.58 (8 Nov 2001 10:45:05
 GMT)
X-Complaints-To: abuse@news.huji.ac.il
NNTP-Posting-Date: Thu, 8 Nov 2001 10:45:05 +0000 (UTC)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 5.00.2014.211
X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2014.211
Xref: archiver1.google.com comp.lang.ada:16043
Date: 2001-11-08T12:41:00+02:00
List-Id: <comp.lang.ada>

I agree with Marin's goal, but I am also unsure of the best way to achieve
them.

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.

Ehud