From: mjsilva@scriptoriumdesigns.com
Subject: Re: Point a beginner in the right direction? Cheap bare-board to run with a RTOS for running ADA
Date: Tue, 9 Jul 2013 18:31:13 -0700 (PDT)
Date: 2013-07-09T18:31:13-07:00 [thread overview]
Message-ID: <4be25699-a21d-42f9-b44a-38631e866357@googlegroups.com> (raw)
In-Reply-To: <krhqne$5di$1@loke.gir.dk>
On Tuesday, July 9, 2013 1:10:19 PM UTC-7, Randy Brukardt wrote:
> <mjsilva@scriptoriumdesigns.com> wrote in message
>
> news:81c8e4a2-f0bb-4559-b2b7-0eba08ddca99@googlegroups.com...
>
> On Tuesday, July 9, 2013 12:51:39 AM UTC-7, Dmitry A. Kazakov wrote:
>
> ...
>
> > No technology ever dies, it becomes niche. Ada's advantage in the niche is
>
> >
>
> > minimal. Its advantage on mainstream SBCs is potentially huge.
>
>
>
> >But the difference is that nobody is arguing that Ada is not suitable for
>
> >SBCs. However,
>
> > you are dismissing Ada on microcontrollers, of which tens of billions are
>
> > sold each year
>
> > (big niche!). You are making this an either/or question, which it most
>
> > certainly is not. How
>
> > is it that you have been appointed to determine where Ada can be
>
> > beneficial, and where
>
> > it cannot?
>
>
>
> He hasn't, he's just telling the truth. On tiny systems
What is tiny? 128k of program memory? 256k? 512k? 1MByte?
> 90% of Ada's
>
> advantages are negated;
What is the absolute minimum system that can run "100% Ada"?
> you're talking about systems with no exceptions,
>
> extremely limited tasking (Ravenscar is far too limited to be usable outside
>
> of the hands of experts with lots of time to spend on analysis), very
>
> limited numerics (usually integers only)
Why integers only? Surely Ada compilers don't use OS services for floating or fixed point.
>and that by their very nature have
>
> to be small (so the benefit of Ada's program structuring features like
>
> private types and child packages are hardly noticable, except in a negative
>
> way as they often will slightly increase code size).
>
>
>
> Such a language is completely different than the Ada I know, and it's
>
> dubious to call it Ada at all. Moreover, the advantages it still has are
>
> impossible to explain to someone that is using some other high-level
>
> language -- most of the code written would end up as C-in-Ada-syntax and the
>
> programmers would never find out why that is bad (because it wouldn't matter
>
> on those systems).
>
>
>
> The truth is, you don't *need* Ada to program such systems, and on such
>
> systems it's "just another programming language", especially from the
>
> perspective of the average programmer (as opposed to the Ada true believer).
>
> It wouldn't cause the sort of correctness improvements that you see when
>
> using Ada on larger systems, so it hard to see why people would pay extra
>
> for it. And if no one wants to pay for it, it isn't going to exist (almost
>
> all great Open Source software has its roots in for-pay companys).
And yet somebody paid for Ada on AVR, a much smaller processor than what is being discussed here.
So again I ask you and Dmitry, what is the smallest possible system that can run "100% Ada"?
next prev parent reply other threads:[~2013-07-10 1:31 UTC|newest]
Thread overview: 55+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-06-19 7:51 Point a beginner in the right direction? Cheap bare-board to run with a RTOS for running ADA Marcus F
2013-06-19 18:20 ` Point a beginner in the right direction? Cheap bare-board to run with a RTOS for running Ada Jacob Sparre Andersen
2013-06-19 18:59 ` Marcus F
2013-06-19 19:25 ` Marcus F
2013-07-12 20:35 ` Rego, P.
2013-07-12 20:37 ` Rego, P.
2013-07-07 9:16 ` Point a beginner in the right direction? Cheap bare-board to run with a RTOS for running ADA Lucretia
2013-07-07 9:56 ` Dmitry A. Kazakov
2013-07-07 10:58 ` Simon Clubley
2013-07-07 15:00 ` Dmitry A. Kazakov
2013-07-07 16:27 ` Niklas Holsti
2013-07-08 7:43 ` Dmitry A. Kazakov
2013-07-08 10:54 ` G.B.
2013-07-08 12:14 ` Dmitry A. Kazakov
2013-07-08 12:56 ` Simon Clubley
2013-07-08 14:06 ` Dmitry A. Kazakov
2013-07-08 14:43 ` G.B.
2013-07-08 17:23 ` Simon Clubley
2013-07-08 18:55 ` Dmitry A. Kazakov
2013-07-09 11:53 ` Simon Clubley
2013-07-09 12:57 ` Dmitry A. Kazakov
2013-07-09 13:11 ` Simon Clubley
2013-07-09 20:30 ` Randy Brukardt
2013-07-09 22:23 ` Georg Bauhaus
2013-07-10 8:06 ` Dmitry A. Kazakov
2013-07-10 12:25 ` Simon Clubley
2013-07-10 22:17 ` Randy Brukardt
2013-07-11 16:58 ` Eryndlia Mavourneen
2013-07-11 22:07 ` Randy Brukardt
2013-07-08 13:15 ` G.B.
2013-07-08 13:59 ` Dmitry A. Kazakov
2013-07-09 0:53 ` mjsilva
2013-07-08 20:31 ` Randy Brukardt
2013-07-08 20:45 ` Dmitry A. Kazakov
2013-07-09 0:19 ` mjsilva
2013-07-09 0:27 ` mjsilva
2013-07-09 7:51 ` Dmitry A. Kazakov
2013-07-09 8:33 ` Georg Bauhaus
2013-07-09 9:12 ` Dmitry A. Kazakov
2013-07-09 11:08 ` G.B.
2013-07-09 12:28 ` Dmitry A. Kazakov
2013-07-09 14:20 ` G.B.
2013-07-09 15:00 ` Dmitry A. Kazakov
2013-07-09 23:13 ` Peter C. Chapin
2013-07-09 15:38 ` mjsilva
2013-07-09 19:48 ` Dmitry A. Kazakov
2013-07-09 20:10 ` Randy Brukardt
2013-07-09 22:09 ` Georg Bauhaus
2013-07-10 22:21 ` Randy Brukardt
2013-07-11 6:12 ` Georg Bauhaus
2013-07-11 22:00 ` Randy Brukardt
2013-07-10 1:31 ` mjsilva [this message]
2013-07-10 8:17 ` Dmitry A. Kazakov
2013-07-10 22:39 ` Randy Brukardt
2013-07-09 13:53 ` Shmuel Metz
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox