From: Robert Eachus <rieachus@comcast.net>
Subject: Re: Ada features supported by SPARK 2014
Date: Fri, 9 Dec 2016 00:24:45 -0800 (PST)
Date: 2016-12-09T00:24:45-08:00 [thread overview]
Message-ID: <f8786be7-31cf-4f04-9445-4fa5b7e45f71@googlegroups.com> (raw)
In-Reply-To: <c1a607a7-dce1-47a2-b4e5-7eba44ad4647@googlegroups.com>
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.
next prev parent reply other threads:[~2016-12-09 8:24 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-12-05 20:36 Ada features supported by SPARK 2014 pault.eg
2016-12-05 21:10 ` Shark8
2016-12-07 18:09 ` Jacob Sparre Andersen
2016-12-05 21:48 ` G.B.
2016-12-05 22:19 ` Daniel King
2016-12-05 22:01 ` Daniel King
2016-12-06 9:17 ` Simon Wright
2016-12-06 13:26 ` Daniel King
2016-12-09 8:24 ` Robert Eachus [this message]
2016-12-09 17:21 ` Adam Jensen
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox