comp.lang.ada
 help / color / mirror / Atom feed
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"?


  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