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: 11232c,59ec73856b699922
X-Google-Attributes: gid11232c,public
X-Google-Thread: 1108a1,59ec73856b699922
X-Google-Attributes: gid1108a1,public
X-Google-Thread: fdb77,5f529c91be2ac930
X-Google-Attributes: gidfdb77,public
X-Google-Thread: 103376,583275b6950bf4e6
X-Google-Attributes: gid103376,public
X-Google-Thread: f43e6,899fc98b2883af4a
X-Google-Attributes: gidf43e6,public
X-Google-ArrivalTime: 2003-05-19 07:44:00 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!logbridge.uoregon.edu!arclight.uoregon.edu!wn13feed!wn12feed!worldnet.att.net!4.24.21.153!chcgil2-snh1.gtei.net!news.bbnplanet.com!chcgil2-snf1.gtei.net!news.gtei.net!news.binc.net!kilgallen
From: Kilgallen@SpamCop.net (Larry Kilgallen)
Newsgroups: 
 comp.lang.java.advocacy,comp.object,comp.lang.ada,misc.misc,comp.software-eng
Subject: Re: Quality systems (Was: Using Ada for device drivers? (Was: the
Date: 19 May 2003 09:43:56 -0500
Organization: Berbee Information Networks Corporation
Message-ID: <tgzWNE2uJva$@eisner.encompasserve.org>
References: <9fa75d42.0304230424.10612b1a@posting.google.com>
 <b9gko2$pub@library1.airnews.net>
 <9fa75d42.0305091549.48b9c5d9@posting.google.com>
 <dstanbro-DDA263.20492210052003@mec2.bigpond.net.au>
 <ZpGva.13$1Q1.6@read3.inet.fi>
 <7507f79d.0305121629.5b8b7369@posting.google.com>
 <ln0wa.54$a03.44@read3.inet.fi>
 <9fa75d42.0305130543.60381450@posting.google.com>
 <254c16a.0305140549.3a87281b@posting.google.com>
 <9fa75d42.0305141747.5680c577@posting.google.com>
 <254c16a.0305160425.3bb89749@posting.google.com> <Organization: LJK Software
NNTP-Posting-Host: eisner.encompasserve.org
X-Trace: grandcanyon.binc.net 1053355417 8367 192.135.80.34 (19 May 2003
 14:43:37 GMT)
X-Complaints-To: abuse@binc.net
NNTP-Posting-Date: Mon, 19 May 2003 14:43:37 +0000 (UTC)
Xref: archiver1.google.com comp.lang.java.advocacy:64168 comp.object:63689
 comp.lang.ada:37514 misc.misc:14289 comp.software-eng:19295
Date: 2003-05-19T09:43:56-05:00
List-Id: <comp.lang.ada>

In article <1053352870.115958@master.nyc.kbcfp.com>, Hyman Rosen <hyrosen@mail.com> writes:
> Ole-Hjalmar Kristensen wrote:
>> A small typo, and the loop will probably not do what you want.
> 
> I imagine that this is true of every programming language
> ever invented.

I presume the implicit meaning was:

  "A small typo, and the loop will probably not do what you want,
   but the compiler will still accept it."

Attempts were made to make the compiler fail on many small typos
by the designers of Ada (and other languages).

>> What stops someone from modifying i inside the loop?
> 
> Nothing.

And again, that is the point.

> Godd C++ programmers don't use plain arrays.

Do good C++ compilers guard against programmers dropping into C ?
(I don't have much C++ compiler experience.)