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=2.2 required=5.0 tests=BAYES_00,FROM_WORDY,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,a00006d3c4735d70
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2004-01-10 05:03:35 PST
Path: 
 archiver1.google.com!news2.google.com!fu-berlin.de!fr.ip.ndsoftware.net!proxad.net!proxad.net!diablo.voicenet.com!rcn!feed3.news.rcn.net!not-for-mail
Reply-To: "Frank J. Lhota" <NOSPAM.FrankLho@rcn.com>
From: "Frank J. Lhota" <NOSPAM.FrankLho@rcn.com>
Newsgroups: comp.lang.ada
References: <1731094.1f7Irsyk1h@linux1.krischik.com>
 <3ff1b8ef.614528516@News.CIS.DFN.DE> <3FF1E06D.A351CCB4@yahoo.com>
 <3ff20cc8.635997032@News.CIS.DFN.DE> <bsumbs$k9e$2@a1-hrz.uni-duisburg.de>
 <3ff9df16.30249104@News.CIS.DFN.DE> <1665674.ZrTUW4qaQq@linux1.krischik.com>
 <1073409810.463948@master.nyc.kbcfp.com>
 <NbDKb.505$9b5.388@newssvr29.news.prodigy.com>
 <1073421950.964139@master.nyc.kbcfp.com> <E7aLb.776788$Tr4.2231457@attbi_s03>
 <3ffd9d14.1526346@News.CIS.DFN.DE>
 <btlmj0$8o9lq$1@ID-175126.news.uni-berlin.de>
 <1073659951.261166@master.nyc.kbcfp.com>
 <btoqj7$9qtre$1@ID-77047.news.uni-berlin.de>
Subject: Re: Certified C compilers for safety-critical embedded systems
Date: Sat, 10 Jan 2004 08:03:34 -0500
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2800.1158
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1165
Message-ID: <3ffff826$0$6755$61fed72c@news.rcn.com>
NNTP-Posting-Host: 209.6.176.101
X-Trace: 1073739814 reader3.news.rcn.net 6755 209.6.176.101:1073
X-Complaints-To: abuse@rcn.com
Xref: archiver1.google.com comp.lang.ada:4303
Date: 2004-01-10T08:03:34-05:00
List-Id: <comp.lang.ada>

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message
news:btoqj7$9qtre$1@ID-77047.news.uni-berlin.de...

> Strange, I would expect you telling us [rightfully] that in this
particular
> case C++ is better than Ada. C++ has abstract arrays (operator[]), Ada
does
> not.

That is why I think that Ada 0y should include a "()" operator, so that we
would have an abstract array capability, as well as an abstract function
capability.