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: 103376,5cb36983754f64da
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2004-04-05 14:16:08 PST
Path: 
 archiver1.google.com!news1.google.com!news.glorb.com!newsfeed00.sul.t-online.de!t-online.de!news-lei1.dfn.de!news-ham1.dfn.de!news.uni-hamburg.de!cs.tu-berlin.de!uni-duisburg.de!not-for-mail
From: Georg Bauhaus <sb463ba@l1-hrz.uni-duisburg.de>
Newsgroups: comp.lang.ada
Subject: Re: No call for Ada
Date: Mon, 5 Apr 2004 21:16:06 +0000 (UTC)
Organization: GMUGHDU
Message-ID: <c4siam$jek$2@a1-hrz.uni-duisburg.de>
References: <20040206174017.7E84F4C4114@lovelace.ada-france.org>
 <mailman.3.1076142690.295.comp.lang.ada@ada-france.org>
 <m3isij11u4.fsf_-_@insalien.org>
 <54759e7e.0402071124.322ea376@posting.google.com>
 <m3smhmz2fo.fsf@insalien.org> <rxmbc.53$bh.32@lakeread02>
 <pan.2004.04.02.23.55.20.921881@email.ro> <87r7v5zao0.fsf@insalien.org>
 <6803831.c4KqqVc08g@linux1.krischik.com> <87vfkgy9z6.fsf@insalien.org>
 <87zn9sjc5r.fsf@deneb.enyo.de> <c4s7af$2kdngp$1@ID-218515.news.uni-berlin.de>
NNTP-Posting-Host: l1-hrz.uni-duisburg.de
X-Trace: a1-hrz.uni-duisburg.de 1081199766 19924 134.91.1.34 (5 Apr 2004
 21:16:06 GMT)
X-Complaints-To: usenet@news.uni-duisburg.de
NNTP-Posting-Date: Mon, 5 Apr 2004 21:16:06 +0000 (UTC)
User-Agent: tin/1.5.8-20010221 ("Blue Water") (UNIX) (HP-UX/B.11.00
 (9000/800))
Xref: archiver1.google.com comp.lang.ada:6755
Date: 2004-04-05T21:16:06+00:00
List-Id: <comp.lang.ada>

Marc A. Criley <mcNOSPAM@mckae.com> wrote:
: 
: "Florian Weimer" <fw@deneb.enyo.de> wrote in message
: news:87zn9sjc5r.fsf@deneb.enyo.de...
:> Ludovic Brenta <ludovic.brenta@insalien.org> writes:
:>
:> > Is this not a strength rather than a weakness?  Garbage collectors
:> > encourage sloppy programming.
:>
:> So does Ada's type safety.
: 
: Pardon??

Maybe along these lines:
If everything is an int you have do spend lots of time making sure
you use the correct ranges in all sorts of places, and write code
which does this correctly.
Likewise you don't just rely on type systems to find the correct
subprogram, but think hard about it, use different names explicitly?....