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=-0.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no 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!news3.google.com!feeder.news-service.com!nf02.dk.telia.net!starscream.dk.telia.net!news.tele.dk!news.tele.dk!small.news.tele.dk!bnewspeer01.bru.ops.eu.uu.net!bnewspeer00.bru.ops.eu.uu.net!emea.uu.net!newsfeed.arcor.de!newsspool2.arcor-online.net!news.arcor.de.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Lost in translation (with SPARK user rules)
Newsgroups: comp.lang.ada
User-Agent: 40tude_Dialog/2.0.15.1
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
Reply-To: mailbox@dmitry-kazakov.de
Organization: cbb software GmbH
References: <op.vda45rsfule2fv@garhos>
 <0466e131-cc80-4db4-b080-eec9aefcb1c7@z17g2000vbd.googlegroups.com>
 <op.vda7dlc2ule2fv@garhos> <4bfd2d05$0$27598$ba4acef3@reader.news.orange.fr>
Date: Wed, 26 May 2010 16:28:20 +0200
Message-ID: <siotu5lyiw08.u5c5kcrly3i2$.dlg@40tude.net>
NNTP-Posting-Date: 26 May 2010 16:28:20 CEST
NNTP-Posting-Host: a5fb646d.newsspool3.arcor-online.net
X-Trace: 
 DXC=FQ1Sl9=H<o;d8Nb@@ZG@b=McF=Q^Z^V384Fo<]lROoR18kF<OcfhCO;\ZOZg1d_T4?[6LHn;2LCV>7enW;^6ZC`4\`mfM[68DC3WL<FbKT_oh0
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news1.google.com comp.lang.ada:11064
Date: 2010-05-26T16:28:20+02:00
List-Id: <comp.lang.ada>

On Wed, 26 May 2010 16:15:41 +0200, Pascal Obry wrote:

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

Yes. I think this could be a direction in which Ada should evolve. It
should have a modular part equivalent to SPARK, which can be used with
certain compilation units. So that the programmer could choose the level of
safety he is ready to invest into.

It would be nice to be able to start the project at some middle level (a
bit higher than of present Ada, but lower than SPARK), and then gradually
adjust it, as the project evolves.

Another 2 cents.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de