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!mx02.eternal-september.org!.POSTED!not-for-mail
From: "Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>
Newsgroups: comp.lang.ada
Subject: Re: newbie, Spark 2014 or Ada 2012
Date: Mon, 06 Jul 2015 11:44:58 -0700
Organization: Also freenews.netfront.net; news.tornevall.net;
 news.eternal-september.org
Message-ID: <mnei8l$kpj$2@dont-email.me>
References: <974c8db0-c9e8-49d4-8db1-3417ec49217b@googlegroups.com>
	<87k2uenkcw.fsf@nightsong.com>
	<f9be08b2-83fb-4161-a380-80b1efe6df47@googlegroups.com>
 <877fqdg1xn.fsf@adaheads.sparre-andersen.dk>
Mime-Version: 1.0
Content-Type: text/plain; charset=windows-1252
Content-Transfer-Encoding: 7bit
Injection-Date: Mon, 6 Jul 2015 18:43:35 +0000 (UTC)
Injection-Info: mx02.eternal-september.org;
 posting-host="a3855fbfe1a666be9aefba0563039ed5";
	logging-data="21299"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX19jbZnqC5s+wnI/y/XhKur9ClFOEyNHqqM="
User-Agent: Mozilla/5.0 (X11; Linux x86_64;
 rv:31.0) Gecko/20100101 Thunderbird/31.7.0
In-Reply-To: <877fqdg1xn.fsf@adaheads.sparre-andersen.dk>
Cancel-Lock: sha1:5dU4NYu+IjdHz6bTHFfeC40JZYo=
Xref: news.eternal-september.org comp.lang.ada:26653
Date: 2015-07-06T11:44:58-07:00
List-Id: <comp.lang.ada>

On 07/06/2015 12:50 AM, Jacob Sparre Andersen wrote:
> 
> SPARK 2014 should in your case probably be seen as an optimisation tool.
> If you notice that some section of your Ada sources are taking too much
> time, you can use the SPARK tools to evaluate if it is safe to disable
> checks for that part of your application.

That's an odd view of SPARK. SPARK is about proving that code is correct and
implements its requirements. That such code is also proven not to fail run-time
checks is a side benefit.

Besides, in 30 yrs of using Ada I've never encountered a case where turning off
checks made the difference between not meeting timing requirements and meeting them.

To the OP: If you're interested in creating well designed, correct, robust,
readable software (that is, in being a software engineer), then you'll like Ada
and not be happy with any of the other languages you mentioned. The skills you
learn with Ada will make your software better if you do have to use such a language.

If, however, you want to be one of the incompetent hacks whose poorly designed,
error-ridden, fragile, write-only code is the source of most of the security
vulnerabilities in the world, then you won't like Ada and will like one of your
other choices. You'll also get the pleasure of spending more of your time
finding and correcting your errors than you do designing and writing code.

-- 
Jeff Carter
"It's symbolic of his struggle against reality."
Monty Python's Life of Brian
78