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: 103376,3025dd6d917b499c
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,UTF8
Received: by 10.66.79.233 with SMTP id m9mr4498939pax.37.1351096033699;
        Wed, 24 Oct 2012 09:27:13 -0700 (PDT)
Path: 
 6ni20231pbd.1!nntp.google.com!npeer02.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!news.glorb.com!gegeweb.org!aioe.org!.POSTED!not-for-mail
From: =?utf-8?Q?Yannick_Duch=C3=AAne_=28Hibou57?=
 =?utf-8?Q?=29?=
 <yannick_duchene@yahoo.fr>
Newsgroups: comp.lang.ada
Subject: Re: Ada, the best language with the not-so-best tool chain
Date: Wed, 24 Oct 2012 18:27:10 +0200
Organization: Ada @ Home
Message-ID: <op.wmoynkd9ule2fv@cardamome>
References: <38af7fb8-b0a4-4a31-87aa-b7b698cc89c3@googlegroups.com>
 <3ca0ffd0-1764-484b-8fab-17c0d2dd9463@googlegroups.com>
 <1f645050-cf4c-40bf-a797-9687b69e4a54@googlegroups.com>
 <18ats2960nsvm$.kfufsnul13aq$.dlg@40tude.net>
 <5072c9ae$0$6562$9b4e6d93@newsspool4.arcor-online.net>
 <4keoa6epdxt7.1nnwxy7v7ar90.dlg@40tude.net>
 <5072dc68$0$6554$9b4e6d93@newsspool4.arcor-online.net>
 <1f7cmfp1l65w1.1deog8cfxbs0u$.dlg@40tude.net>
 <5072e37a$0$6556$9b4e6d93@newsspool4.arcor-online.net>
 <rue1igfn7vls.12ns24d6uzs5a$.dlg@40tude.net>
 <e35ad33d-72bc-4272-9adc-1af91001e7ec@googlegroups.com>
 <acb7tq62ahg5$.pat6tw22psz7.dlg@40tude.net>
 <fd2f8ee2-0ad6-49df-842b-2a6954970fa1@googlegroups.com>
 <1wzhg6cdjkwjj$.uq66rzr2nlgy.dlg@40tude.net> <k4ve02$g5a$1@dont-email.me>
 <k5ptpi$hf8$1@munin.nbi.dk> <7xzk3ckxbv.fsf@ruckus.brouhaha.com>
 <k68j01$irr$1@dont-email.me>
 <96e29613-fec6-488b-842b-8f5dbcf44a03@googlegroups.com>
 <7xtxtjvoag.fsf@ruckus.brouhaha.com>
NNTP-Posting-Host: qMb93YQAAEXAn86i0hBe/g.user.speranza.aioe.org
Mime-Version: 1.0
X-Complaints-To: abuse@aioe.org
User-Agent: Opera Mail/12.02 (Linux)
X-Notice: Filtered by postfilter v. 0.8.2
X-Received-Bytes: 2636
Content-Type: text/plain; charset=utf-8; format=flowed; delsp=yes
Content-Transfer-Encoding: Quoted-Printable
Date: 2012-10-24T18:27:10+02:00
List-Id: <comp.lang.ada>

Le Wed, 24 Oct 2012 18:16:07 +0200, Paul Rubin <no.email@nospam.invalid>=
 a  =

=C3=A9crit:

> kalvin.news@gmail.com writes:
>> For instance the Ravenscar profile provides only limited set of Ada
>> features. If 8-bit controllers require more constricted subset, it is=

>> just fine. The end result is still a language with strict type
>> checking etc. that C/C++ lack.
>
> OK, I guess this sounds reasonable, though I thought Ravenscar was
> closer to something like MISRA C, basically a subset of C.

Ravenscar =E2=89=A0 SPARK ;)

Talking about Ravenscar, you may better think of it as a profile, while =
 =

SPARK, as _based_ on an Ada subset.

-- =

=E2=80=9CSyntactic sugar causes cancer of the semi-colons.=E2=80=9D [1]
=E2=80=9CStructured Programming supports the law of the excluded muddle.=
=E2=80=9D [1]
[1]: Epigrams on Programming =E2=80=94 Alan J. =E2=80=94 P. Yale Univers=
ity