Re: Augusta: An open source Ada 2012 compiler (someday?)

[Georg Bauhaus <rm-host.bauhaus@maps.futureapps.de>]

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.)