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=unavailable autolearn_force=no version=3.4.4
X-Received: by 10.99.9.1 with SMTP id 1mr29391431pgj.66.1480970178864;
        Mon, 05 Dec 2016 12:36:18 -0800 (PST)
X-Received: by 10.157.37.247 with SMTP id q110mr3784417ota.5.1480970178756;
 Mon, 05 Dec 2016 12:36:18 -0800 (PST)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!news.glorb.com!n6no2982073qtd.0!news-out.google.com!j8ni5709qtc.0!nntp.google.com!n6no2982068qtd.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Mon, 5 Dec 2016 12:36:18 -0800 (PST)
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=81.156.75.154;
 posting-account=iESOMQoAAACXEEKUmGCCRrNO_51JL7Al
NNTP-Posting-Host: 81.156.75.154
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <c1a607a7-dce1-47a2-b4e5-7eba44ad4647@googlegroups.com>
Subject: Ada features supported by SPARK 2014
From: pault.eg@googlemail.com
Injection-Date: Mon, 05 Dec 2016 20:36:18 +0000
Content-Type: text/plain; charset=UTF-8
Xref: news.eternal-september.org comp.lang.ada:32619
Date: 2016-12-05T12:36:18-08:00
List-Id: <comp.lang.ada>

Hi,

I'm thinking about learning Ada or SPARK. It's only for hobby use, not for work.

I've been looking for an overview of SPARK, in relation to the features of Ada, but haven't found too much on the internet.

Wikipedia says SPARK2014 is a well defined subset of Ada. It would be nice to get a feel for how much of Ada is in SPARK, what are the main aspects of Ada not supported by SPARK, and what are SPARK's main limitations compared to Ada.

Any good links would be appreciated, before I go and buy a book on Ada and/or SPARK.

Thx.