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.13.193.4 with SMTP id c4mr19267721ywd.27.1481271886376;
        Fri, 09 Dec 2016 00:24:46 -0800 (PST)
X-Received: by 10.157.11.120 with SMTP id p53mr5292465otd.19.1481271886337;
 Fri, 09 Dec 2016 00:24:46 -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!1.eu.feeder.erje.net!feeder.erje.net!2.us.feeder.erje.net!newspeer1.nac.net!border2.nntp.dca1.giganews.com!nntp.giganews.com!n6no4555622qtd.0!news-out.google.com!j8ni19230qtc.0!nntp.google.com!n6no4555619qtd.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Fri, 9 Dec 2016 00:24:45 -0800 (PST)
In-Reply-To: <c1a607a7-dce1-47a2-b4e5-7eba44ad4647@googlegroups.com>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=2601:191:8303:2100:5985:2c17:9409:aa9c;
 posting-account=fdRd8woAAADTIlxCu9FgvDrUK4wPzvy3
NNTP-Posting-Host: 2601:191:8303:2100:5985:2c17:9409:aa9c
References: <c1a607a7-dce1-47a2-b4e5-7eba44ad4647@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <f8786be7-31cf-4f04-9445-4fa5b7e45f71@googlegroups.com>
Subject: Re: Ada features supported by SPARK 2014
From: Robert Eachus <rieachus@comcast.net>
Injection-Date: Fri, 09 Dec 2016 08:24:46 +0000
Content-Type: text/plain; charset=UTF-8
Xref: news.eternal-september.org comp.lang.ada:32687
Date: 2016-12-09T00:24:45-08:00
List-Id: <comp.lang.ada>

On Monday, December 5, 2016 at 3:36:20 PM UTC-5, paul...@googlemail.com wrote:
> 
> I'm thinking about learning Ada or SPARK. It's only for hobby use, not for work.

Lots of good answers, but they skip the high level to dive into details.

There are lots of uses for SPARK, such as safety critical systems or complex tasking systems where SPARK is required, or in some cases SPARK will make complex programming easier.

But in any case, learn Ada, then add SPARK. In fact you may have significant programs where 80% of the code is just Ada, then when the setup is finished, the safety-critical or time-critical part is all that is executing, and 100% SPARK.