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: 103376,ec6f74e58e86b38b
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news4.google.com!feeder2.cambriumusenet.nl!feed.tweaknews.nl!194.109.133.84.MISMATCH!newsfeed.xs4all.nl!newsfeed5.news.xs4all.nl!xs4all!news.wiretrip.org!news2.arglkargh.de!news.musoftware.de!wum.musoftware.de!weretis.net!feeder2.news.weretis.net!proxad.net!feeder1-2.proxad.net!193.252.117.184.MISMATCH!feeder.news.orange.fr!not-for-mail
Date: Wed, 26 May 2010 16:15:41 +0200
From: Pascal Obry <pascal@obry.net>
Organization: Home - http://www.obry.net
User-Agent: Mozilla/5.0 (Windows; U; Windows NT 6.0; fr-FR;
 rv:1.8.1.22) Gecko/20090605 Thunderbird/2.0.0.22 Mnenhy/0.7.5.0
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Lost in translation (with SPARK user rules)
References: <op.vda45rsfule2fv@garhos>
 <0466e131-cc80-4db4-b080-eec9aefcb1c7@z17g2000vbd.googlegroups.com>
 <op.vda7dlc2ule2fv@garhos>
In-Reply-To: <op.vda7dlc2ule2fv@garhos>
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 7bit
Message-ID: <4bfd2d05$0$27598$ba4acef3@reader.news.orange.fr>
NNTP-Posting-Date: 26 May 2010 16:15:33 CEST
NNTP-Posting-Host: 82.124.201.147
X-Trace: 1274883333 reader.news.orange.fr 27598 82.124.201.147:11807
X-Complaints-To: abuse@orange.fr
Xref: g2news1.google.com comp.lang.ada:11062
Date: 2010-05-26T16:15:33+02:00
List-Id: <comp.lang.ada>


Yannick,

> Overall so far to me.
> 
> I don't know what to think about one feeling, may be I'm wrong: I feel a
> bit discouraged with SPARK now. I wonder if this is really this thing I
> was waiting for so long (I am referring to some of my previous words
> about it in another thread).

Maybe you were expecting something that SPARK is not. SPARK is not a
replacement for Ada. SPARK is designed for highly secure software. You
won't create a Web server, an XML parser or even some kind of simulation
and GUI with it. In those application domains you need full Ada (binding
to external libraries, generics, full OO, standard libraries Ada.*,
Interfaces.* and possibly GNAT.*, full text and stream IO...).

I had to create a binding to the OS sockets in SPARK, I can tell you
that it was not easy... Especially as this was my first experience with
SPARK!

For embedded control-command application that's another story. I think
that SPARK has something invaluable to offer.

I have also thought that you can mix SPARK and Ada in the same
application. Using SPARK in the critical part, and Ada for the rest...
Don't know how well this would work as I have not gone through this yet.

Just my 2 cents of course!

Pascal.

-- 

--|------------------------------------------------------
--| Pascal Obry                           Team-Ada Member
--| 45, rue Gabriel Peri - 78114 Magny Les Hameaux FRANCE
--|------------------------------------------------------
--|    http://www.obry.net  -  http://v2p.fr.eu.org
--| "The best way to travel is by means of imagination"
--|
--| gpg --keyserver keys.gnupg.net --recv-key F949BD3B