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-Thread: a07f3367d7,20280f498071efd3
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news1.google.com!postnews.google.com!u26g2000yqm.googlegroups.com!not-for-mail
From: Ludovic Brenta <ludovic@ludovic-brenta.org>
Newsgroups: comp.lang.ada
Subject: Re: Software Quality in Science
Date: Wed, 10 Feb 2010 05:55:34 -0800 (PST)
Organization: http://groups.google.com
Message-ID: 
 <ddb8b59c-d746-4228-b7a9-7ace7058018b@u26g2000yqm.googlegroups.com>
References: 
 <1198a288-b013-45a8-907f-7fe227e6294e@m27g2000prl.googlegroups.com>
	<04185bf3-f83a-4fbe-b380-c6d8aa4105e6@w27g2000pre.googlegroups.com>
NNTP-Posting-Host: 153.98.68.197
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
X-Trace: posting.google.com 1265810135 20148 127.0.0.1 (10 Feb 2010 13:55:35
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Wed, 10 Feb 2010 13:55:35 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: u26g2000yqm.googlegroups.com; posting-host=153.98.68.197;
	posting-account=pcLQNgkAAAD9TrXkhkIgiY6-MDtJjIlC
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.9.1.7)
	Gecko/20091221 Firefox/3.5.7,gzip(gfe),gzip(gfe)
Xref: g2news1.google.com comp.lang.ada:9081
Date: 2010-02-10T05:55:34-08:00
List-Id: <comp.lang.ada>

On Feb 9, 10:51=A0pm, Jerry <lancebo...@qwest.net> wrote:
> "The net result of changing languages appears
> to be that the overall defect density appears to be about the same,
> (Hatton 1997). In other words, when a language corrects one
> deficiency, it appears to add one of its own."

Ah but the study must have overlooked one thing. A strongly-typed
language with an emphasis on software quality will naturally attract
developers who understand the benefits of strong typing and value
software quality. Conversely, a loosely-typed, lax language will
attract sloppy programmers who do not understand why typing should be
strong or who believe that bugs are good for their job security.

So, even if the author's assertion were true (i.e. Ada has just as
many traps and pitfalls as C, which I disagree with), developing in
Ada with Ada-minded programmers will always be safer than developing
in C with C-minded programmers. In fact, developing in C with Ada-
minded programmers is safer, too.

The same reasoning applies to Spark vs. Ada.

--
Ludovic Brenta.