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: 5b1e799cdb,3ef3e78eacf6f938
X-Google-Attributes: gid5b1e799cdb,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news1.google.com!npeer02.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!post02.iad.highwinds-media.com!newsfe16.iad.POSTED!1d9d5bd3!not-for-mail
From: David Thompson <dave.thompson2@verizon.net>
Newsgroups: comp.lang.eiffel,comp.lang.ada,comp.lang.modula3,comp.programming
Subject: Re: Alternatives to C: ObjectPascal, Eiffel, Ada or Modula-3?
Organization: Poor
Message-ID: <4so5r5pt92mlkld8jdrc2choanhlb3h92l@4ax.com>
References: <h3sln0$rhm$2@news.eternal-september.org>
 <4BA8BA91.4050905@cherrystonesoftware.com>  <4BA8F677.3090206@adalog.fr>
 <4BA8FD54.8020200@cherrystonesoftware.com>
 <e2b54b25-c75f-4167-9096-77a30027cee9@s20g2000prm.googlegroups.com>
X-Newsreader: Forte Agent 3.3/32.846
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
X-Complaints-To: abuse@teranews.com
NNTP-Posting-Date: Wed, 31 Mar 2010 06:54:56 UTC
Date: Wed, 31 Mar 2010 02:55:44 -0400
Xref: g2news1.google.com comp.lang.eiffel:548 comp.lang.ada:9808
 comp.lang.modula3:168 comp.programming:14743
Date: 2010-03-31T02:55:44-04:00
List-Id: <comp.lang.ada>

On Tue, 23 Mar 2010 12:33:46 -0700 (PDT), Adam Beneschan
<adam@irvine.com> wrote:
<snip>
> I wish I could!  I've been in this business for over 30 years and I
> still haven't figured out how not to make mistakes.  <snip>
> So bounds checking is a good thing.  Even so, it's good to have a
> choice.  Pascal and Ada, as usually implemented, let you choose
> between the extra safety of bounds checks and the added performance of
> eliminating them in programs that have been tested.  C doesn't.

Ada has standard-in-language option, so all implementations must
provide it; PL/I same. Pascal doesn't require checking, but common
practice is yes or option. Fortran doesn't require it, and common
practice is no, but there have long been some that do, especially
since F90 made unnecessary (but did not entirely remove) the
assumed-size' (aterisk) form that most discourages it.

C doesn't prohibit it, but encourages pointer use that makes it more
difficult; there have been bounds-checking C implementations, but in
the dancing bear category.