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!feeder.eternal-september.org!gandalf.srv.welterde.de!news.jacob-sparre.dk!loke.jacob-sparre.dk!pnx.dk!.POSTED!not-for-mail
From: Jacob Sparre Andersen <sparre@nbi.dk>
Newsgroups: comp.lang.ada
Subject: Re: newbie, Spark 2014 or Ada 2012
Date: Mon, 06 Jul 2015 09:50:12 +0200
Organization: Jacob Sparre Andersen Research & Innovation
Message-ID: <877fqdg1xn.fsf@adaheads.sparre-andersen.dk>
References: <974c8db0-c9e8-49d4-8db1-3417ec49217b@googlegroups.com>
	<87k2uenkcw.fsf@nightsong.com>
	<f9be08b2-83fb-4161-a380-80b1efe6df47@googlegroups.com>
NNTP-Posting-Host: 109.56.102.205.mobile.3.dk
Mime-Version: 1.0
Content-Type: text/plain; charset=iso-8859-1
Content-Transfer-Encoding: 8bit
X-Trace: loke.gir.dk 1436169013 17746 109.56.102.205 (6 Jul 2015 07:50:13 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Mon, 6 Jul 2015 07:50:13 +0000 (UTC)
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.4 (gnu/linux)
Cancel-Lock: sha1:5kgiiZ20KJUjjtnMwbCWeXK/COU=
Xref: news.eternal-september.org comp.lang.ada:26628
Date: 2015-07-06T09:50:12+02:00
List-Id: <comp.lang.ada>

nomadfate@gmail.com wrote:

> I am not new to programming. I went to basic programming classes when
> I was in school. I am more interested in micro-controller and
> electronic stuff.

For embedded systems Ada and C seem like the sensible choices.

C is useful to know because it (still) is the lingua franca of systems
programming.  You may also occassionally want to program a
microcontroller without an easily available Ada compiler.

Ada is useful to know because it helps you structure your
implementations and helps you avoid programming errors [1] (giving the
very short explanation).

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.

Greetings,

Jacob

[1] John McCormick has written a paper on his experiences with letting
    students use Ada and C for implementing a model railway control
    system.  It explains in detail which Ada features are most important
    for that kind of problem.
-- 
»Great minds discuss ideas,
 Average minds discuss events,
 Small minds discuss people.«