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=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!.POSTED!not-for-mail
From: "Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>
Newsgroups: comp.lang.ada
Subject: Re: newbie, Spark 2014 or Ada 2012
Date: Thu, 09 Jul 2015 13:22:29 -0700
Organization: Also freenews.netfront.net; news.tornevall.net;
 news.eternal-september.org
Message-ID: <mnml3g$i23$1@dont-email.me>
References: <974c8db0-c9e8-49d4-8db1-3417ec49217b@googlegroups.com>
	<87k2uenkcw.fsf@nightsong.com>
	<f9be08b2-83fb-4161-a380-80b1efe6df47@googlegroups.com>
	<mndhuj$jqd$1@dont-email.me>
 <87615x9s3o.fsf@jester.gateway.sonic.net>	<mnevpv$e9i$1@dont-email.me>
 <mnfi3h$c6f$1@speranza.aioe.org>	<mng275$73n$1@dont-email.me>
 <mng47i$ctt$2@dont-email.me>	<mnh6ua$avf$1@loke.gir.dk>
 <87pp438tm6.fsf@jester.gateway.sonic.net>	<mnjuum$it2$1@loke.gir.dk>
 <87d2028dfy.fsf@jester.gateway.sonic.net>	<mnmcl1$fgb$1@dont-email.me>
 <878uap8539.fsf@jester.gateway.sonic.net>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 7bit
Injection-Date: Thu, 9 Jul 2015 20:21:06 +0000 (UTC)
Injection-Info: mx02.eternal-september.org;
 posting-host="a3855fbfe1a666be9aefba0563039ed5";
	logging-data="18499"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1/WK5tnHWhvaIRKz37rRdR1W4fRdvuI+yE="
User-Agent: Mozilla/5.0 (X11; Linux x86_64;
 rv:31.0) Gecko/20100101 Thunderbird/31.7.0
In-Reply-To: <878uap8539.fsf@jester.gateway.sonic.net>
Cancel-Lock: sha1:BTxTuyU3SlpOqcFm7GjQSylSnNQ=
Xref: news.eternal-september.org comp.lang.ada:26722
Date: 2015-07-09T13:22:29-07:00
List-Id: <comp.lang.ada>

On 07/09/2015 01:10 PM, Paul Rubin wrote:
> 
> I don't claim this process gives the level of assurance that traditional
> Ada application areas require, but similarly, most people don't need to
> drive a military battle tank if they're only going to the corner store.

Actually, driving a tank is simpler than going to the corner store. A tank is
armed and armored and you don't care much where it goes or if it runs into
things. Going to the corner store, you need to stay on the street, avoiding
other cars, people, dogs, buildings, and so on.

In simple terms: all programs need to be correct, robust, and reliable.

-- 
Jeff Carter
"Violence is the last refuge of the incompetent."
Foundation
151