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: 
 border1.nntp.dca3.giganews.com!backlog3.nntp.dca3.giganews.com!border1.nntp.dca.giganews.com!nntp.giganews.com!usenet.blueworldhosting.com!feeder01.blueworldhosting.com!feeder.erje.net!eu.feeder.erje.net!news.albasani.net!news.teledata-fn.de!newsfeed.arcor.de!newsspool2.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Sat, 29 Mar 2014 10:51:56 +0100
From: Georg Bauhaus <rm-host.bauhaus@maps.futureapps.de>
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.9;
 rv:24.0) Gecko/20100101 Thunderbird/24.1.0
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Augusta: An open source Ada 2012 compiler (someday?)
References: <zpudnYzhb9cIB7TO4p2dnAA@giganews.com>
 <1f0a85a6-ea4d-4d30-8537-0ce9063f992a@googlegroups.com>
 <lgeh3m$gqq$1@dont-email.me> <lgfsqj$g8i$1@loke.gir.dk>
 <lgopof$unl$1@loke.gir.dk> <lgsm50$vbg$1@speranza.aioe.org>
 <HtpYu.68491$Ls.67166@fx04.iad> <lgvduo$id7$1@dont-email.me>
 <nkRYu.112919$ti6.75704@fx17.iad> <lh205f$9ou$1@dont-email.me>
 <330b7d3b-4d12-4482-9ed2-2c82a32a6334@googlegroups.com>
 <Gvydnd4cIcw3javO4p2dnAA@giganews.com>
In-Reply-To: <Gvydnd4cIcw3javO4p2dnAA@giganews.com>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <533697bc$0$4244$9b4e6d93@newsspool2.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 29 Mar 2014 10:51:56 CET
NNTP-Posting-Host: d92fc674.newsspool2.arcor-online.net
X-Trace: DXC=>khm68H9C]6Tia]Ho99G50A9EHlD; 3Yc24Fo<]lROoR1^;
 5]aA^R6>2^Glbn`=1TL7PCY\c7>ejV8OgLW:=GKHE>YEU[7f3WFF1
X-Complaints-To: usenet-abuse@arcor.de
X-Original-Bytes: 2501
Xref: number.nntp.dca.giganews.com comp.lang.ada:185405
Date: 2014-03-29T10:51:56+01:00
List-Id: <comp.lang.ada>

On 29/03/14 01:15, Peter Chapin wrote:
> I've heard it said that "ordinary" programmers (whoever they are,
> exactly) won't use formal verification techniques in their day-to-day
> programming because such techniques are too difficult to use. It seems
> like that is changing. Perhaps Ada 202X should lead the way.

"Ordinary programmers" may apply to programmers who are primarily
natural scientists, engineers, business economists, or self-taught
(think of web programming).

The other group are mathematicians in disguise. (The classification
is the focus of Keith Devlin's "The Math Gene". Though I still need
to finish reading it.)

Just like some will successfully take an interest in abstract algebra
or topology or complex analysis, others will have "better" things
to do.

The killer argument, though, will be whether or not Ada based
formal methods, if deemed acceptable by the peers in management,
will mean more money.


(I'm in neither group.)