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=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!gegeweb.org!news.franciliens.net!news.muarf.org!nntpfeed.proxad.net!proxad.net!feeder2-2.proxad.net!newsfeed.arcor.de!newsspool1.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Wed, 26 Mar 2014 20:51:03 +0100
From: Georg Bauhaus <rm-host.bauhaus@maps.futureapps.de>
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.9;
 rv:24.0) Gecko/20100101 Thunderbird/24.1.0
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Your wish list for Ada 202X
References: <7f1c01c5-3563-4b94-9831-152dbbf2ecdc@googlegroups.com>
	<206rutb9pqak$.11a3dufqvmrm4.dlg@40tude.net>
	<ea073fca-c607-476c-8c0b-81e2da1686b1@googlegroups.com>
	<5333169e$0$4219$9b4e6d93@newsspool2.arcor-online.net>
 <lyfvm44x0i.fsf@pushface.org>
In-Reply-To: <lyfvm44x0i.fsf@pushface.org>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Message-ID: <53332fa8$0$22622$9b4e6d93@newsspool1.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 26 Mar 2014 20:51:04 CET
NNTP-Posting-Host: 4f1aaa30.newsspool1.arcor-online.net
X-Trace: 
 DXC=jO637M;l_U9LNKYb?b>076ic==]BZ:af>4Fo<]lROoR1Fl8W>\BH3Y2Q3kmc=EDHR=A:ho7QcPOV3X`0mCJWNbN32:SKZ81`W29
X-Complaints-To: usenet-abuse@arcor.de
Xref: news.eternal-september.org comp.lang.ada:18989
Date: 2014-03-26T20:51:04+01:00
List-Id: <comp.lang.ada>

On 26/03/14 19:47, Simon Wright wrote:
> "G.B." <rm-dash-bau-haus@dash.futureapps.de> writes:
>
>> IIRC, programs for VxWorks don't even need an Ada runtime to provide
>> tasking support. Systems like these provide an opportunity for another
>> profile, one that should make upgrading compilers easier.
>
> But they do need one for Ada tasking support!
>
> Tasking on VxWorks using Ada bindings of the VxWorks tasking primitives
> would have little if any benefit over the C version. No protected types
> for a start! No rendezvous!

You are right, I was actually thinking of “no_task_types”.
What I remembered was a talk by someone whose team did a VxWorks
project for a British railroad something, explaining
how they would wrap a process in a "VxWorks procedure",
written in Ada. So, there would be protected types, I guess.

Nevertheless, there is much that makes Ada different solely
because of its fundamental type system:
The most recent MS-Word/Outlook bug is another instance of
errors that keep being caused by, as the CVE entry explains,
a language that has no bounds checking for indexing arrays.

Side note: SPARK rests on top of things expressed
and expressible in Ada in its (almost) unique ways,
in the small, and without pointers.

An Ada profile for even sequential programs only is worth money.