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=-0.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,21960280f1d61e84
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!postnews.google.com!k78g2000cwa.googlegroups.com!not-for-mail
From: "Harald Korneliussen" <vintermann@gmail.com>
Newsgroups: comp.lang.ada
Subject: Re: How come Ada isn't more popular?
Date: 25 Jan 2007 23:21:38 -0800
Organization: http://groups.google.com
Message-ID: <1169796098.028232.73500@k78g2000cwa.googlegroups.com>
References: <1169531612.200010.153120@38g2000cwa.googlegroups.com>
   <20070123211651.c0d43695.tero.koskinen@iki.fi>
   <87zm89tpk7.fsf@ludovic-brenta.org>
   <ep7al8$vm5$1@cernne03.cern.ch>
   <4q4pqgmdwo.fsf@hod.lan.m-e-leypold.de>
   <ep9q80$uul$1@cernne03.cern.ch>
   <1169719988.972296.121430@a75g2000cwd.googlegroups.com>
   <4iauh.1157694$084.1040745@attbi_s22>
   <wcac06d6xh.fsf@hod.lan.m-e-leypold.de>
NNTP-Posting-Host: 213.184.192.82
Mime-Version: 1.0
Content-Type: text/plain; charset="iso-8859-1"
X-Trace: posting.google.com 1169796113 11929 127.0.0.1 (26 Jan 2007 07:21:53
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Fri, 26 Jan 2007 07:21:53 +0000 (UTC)
In-Reply-To: <wcac06d6xh.fsf@hod.lan.m-e-leypold.de>
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/5.0 (Windows; U; Windows NT 5.1; nb-NO;
 rv:1.8.1.1) Gecko/20061204 Firefox/2.0.0.1,gzip(gfe),gzip(gfe)
Complaints-To: groups-abuse@google.com
Injection-Info: k78g2000cwa.googlegroups.com; posting-host=213.184.192.82;
   posting-account=5vUApw0AAADF5Kx_4-L9ZPdL9lZywYoQ
Xref: g2news2.google.com comp.lang.ada:8587
Date: 2007-01-25T23:21:38-08:00
List-Id: <comp.lang.ada>



On 26 Jan, 00:26, Markus E Leypold
<development-2006-8ecbb5cc8aREMOVET...@ANDTHATm-e-leypold.de> wrote:
> "Jeffrey R. Carter" <jrcar...@acm.org> writes:

> Since I assume that the same thing (unsafe programs) applies to Ada
> (say with respect to unhandled exceptions (Ariane, for instance ...)
> or with respect to memory leaks or priority inversions in tasking),
> the only remaining line on which an argument of the usability of C
> vs. that of Ada can develop is quantitatively, not qualitatively.
>
A line is usually drawn at languages whose type systems (and possibly
inserted runtime checks) don't prevent invalid memory accesses. For
instance the paper linked to above, about type systems, draws this
line, and argues why it matters. Great paper, by the way.