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,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,54889de51045a215
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-10-19 22:50:07 PST
Path: 
 archiver1.google.com!news2.google.com!news.maxwell.syr.edu!logbridge.uoregon.edu!msunews!not-for-mail
From: "Chad R. Meiners" <crmeiners@hotmail.com>
Newsgroups: comp.lang.ada
Subject: Re: += in ada
Date: Mon, 20 Oct 2003 01:47:28 -0400
Organization: Michigan State University
Message-ID: <bmvsv3$1sh0$1@msunews.cl.msu.edu>
References: <3F7316F7.219F@mail.ru>
 <17cd177c.0310010606.52da88f3@posting.google.com> <3F8BC74F.2CFBFF37@0.0>
 <bebbba07.0310160049.3ede5878@posting.google.com>
 <slrnbot4oc.nr.lutz@taranis.iks-jena.de>
 <1066312000.671303@master.nyc.kbcfp.com> <w%yjb.783830$YN5.775353@sccrnsc01>
 <1066322883.139702@master.nyc.kbcfp.com> <3F8F372D.9040801@comcast.net>
 <3F8F4559.50306@noplace.com>
 <bebbba07.0310181737.5e370815@posting.google.com>
 <3F929FC8.9070901@noplace.com>
 <bebbba07.0310191847.2d254e86@posting.google.com>
NNTP-Posting-Host: arctic.cse.msu.edu
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
Xref: archiver1.google.com comp.lang.ada:1172
Date: 2003-10-20T01:47:28-04:00
List-Id: <comp.lang.ada>


"Russ" <18k11tm001@sneakemail.com> wrote in message
news:bebbba07.0310191847.2d254e86@posting.google.com...
> Now, if I propose that Fortran or Pascal be used, I will be laughed
> out of the room. If I push for C, C++, or Java, on the other hand, I
> will be taken very seriously. Ada is on the edge, but is on the verge
> of falling off the edge, of the list of serious candidates.
>
> Every little thing that can help improve Ada's popularity without
> damaging its effectiveness is critical now. If the Ada 200x design
> team gets too conservative, Ada will almost certainly work its way out
> of the picture.

Let's see... Ada has a very nice formal subset named SPARK
(www.sparkada.com), which allows you to perform formal verification on
safety critical sections of code.  I would take the avaliability of SPARK
over the availability of augmented assignment any day.