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-Thread: 103376,be02bcdb8f46ddd5 X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news1.google.com!news.glorb.com!border1.nntp.dca.giganews.com!nntp.giganews.com!local1.nntp.dca.giganews.com!nntp.megapath.net!news.megapath.net.POSTED!not-for-mail NNTP-Posting-Date: Tue, 28 Sep 2004 17:52:54 -0500 From: "Randy Brukardt" Newsgroups: comp.lang.ada References: <311c6b78.0409271138.1795d07c@posting.google.com> <41587840$0$74186$39cecf19@news.twtelecom.net> Subject: Re: An improved Ada? Date: Tue, 28 Sep 2004 17:54:04 -0500 X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 5.50.4807.1700 X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4910.0300 Message-ID: <2I2dnVZqEvjadsTcRVn-rQ@megapath.net> NNTP-Posting-Host: 64.32.209.38 X-Trace: sv3-kXFYyrh0s8BZxcsWTDuB9T23HIczRUT/QcxhILvJiDf1+KmZhooKuHPatUfQPg50T2GFS8/8UQAcmKK!inTDNF+T1B/+6nWgUfOBX9eqPlDcAMk0dN7Ugp0PHDsV2L57+zlwVupKKnUHIvWj9+1daMua+7yx X-Complaints-To: abuse@megapath.net X-DMCA-Complaints-To: abuse@megapath.net X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly X-Postfilter: 1.3.16 Xref: g2news1.google.com comp.lang.ada:4344 Date: 2004-09-28T17:54:04-05:00 List-Id: "Wojtek Narczynski" wrote in message news:pan.2004.09.28.20.41.14.508631@power.com.pl... > On Mon, 27 Sep 2004 16:40:40 -0400, Matthew Heaney wrote: > > > This is largely the reason why we made the AI-302 container types publicly > > tagged. > > In that case, let me ask. If they are publicly tagged now, how about > interfaces as of AI-00251 on them? We didn't do that, because they would have to be declared inside the generic units and be specific to the element type. That would make them pretty much useless; you can get the same functionality by deriving from the container type, and it would be much easier to write as well (you wouldn't have to define dozens of wrappers). For interfaces to really work, the element type would have to be an interface. But that would be too weird for most users (requiring the understanding of a new feature before being able to use containers), would have suboptimal performance (because of all of the dispatching for trivial operations) and it wouldn't work well for making containers of existing types (especially elementary types). Randy.