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,FREEMAIL_FROM
	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!z19g2000yqk.googlegroups.com!not-for-mail
From: =?ISO-8859-1?Q?Hibou57_=28Yannick_Duch=EAne=29?=
 <yannick_duchene@yahoo.fr>
Newsgroups: comp.lang.ada
Subject: Re: Software Quality in Science
Date: Wed, 10 Feb 2010 06:21:53 -0800 (PST)
Organization: http://groups.google.com
Message-ID: 
 <737fc1d7-0601-493b-a877-3697f55315b0@z19g2000yqk.googlegroups.com>
References: 
 <1198a288-b013-45a8-907f-7fe227e6294e@m27g2000prl.googlegroups.com>
	<04185bf3-f83a-4fbe-b380-c6d8aa4105e6@w27g2000pre.googlegroups.com>
	<ddb8b59c-d746-4228-b7a9-7ace7058018b@u26g2000yqm.googlegroups.com>
NNTP-Posting-Host: 86.66.190.120
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
X-Trace: posting.google.com 1265811717 14117 127.0.0.1 (10 Feb 2010 14:21:57
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Wed, 10 Feb 2010 14:21:57 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: z19g2000yqk.googlegroups.com; posting-host=86.66.190.120;
	posting-account=vrfdLAoAAAAauX_3XwyXEwXCWN3A1l8D
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/4.0 (compatible; MSIE 6.0; Windows NT 5.1;
	fr),gzip(gfe),gzip(gfe)
Xref: g2news1.google.com comp.lang.ada:9082
Date: 2010-02-10T06:21:53-08:00
List-Id: <comp.lang.ada>

On 10 f=E9v, 14:55, Ludovic Brenta <ludo...@ludovic-brenta.org> wrote:
> The same reasoning applies to Spark vs. Ada.
Such a comparison would not come without a difference : Ada is safer
than C, while it is capable of more than C. SPARK is safer than Ada,
but although attractive at first sight, it imposes a lot of
restrictions which make it less capable than Ada (capable : I'm
talking about the extend of constructs you can create with it).

While a demanding C developer may be wonderfully happy to learn about
Ada, an Ada designer may possibly have less reasons to switch to SPARK
(unless otherwise required). Proof : near to all Adaiste know about
SPARK, but just a few of them use it.

The path from Ada to SPARK has nothing to be compared to the one of
from C to Ada.



Side note for little words about C : the typical laxity of C is
sometime useful for quick modeling when interfacing with system API is
involved. Out of subject, I know, it was just to tell C developers we
do not really hate them so much and give them a Welcome Here :p (I
myself occasionally relying on C by the way).