comp.lang.ada
 help / color / mirror / Atom feed
From: Rob Shea <zzycatch@gmail.com>
Subject: Re: Arbitrary Sandbox
Date: Thu, 9 Feb 2012 22:18:14 -0800 (PST)
Date: 2012-02-09T22:18:14-08:00	[thread overview]
Message-ID: <db98a68b-debb-45f2-9d96-86acbdd3c760@og8g2000pbb.googlegroups.com> (raw)
In-Reply-To: jh2clg$svd$1@adenine.netfront.net


I understand the benefits of Ada in embedded systems and the like, but
are these benefits lost when used on top of all the abstraction that
is Windows?

Cheers,

Rob

On Feb 10, 5:15 pm, Jeffrey Carter
<spam.jrcarter....@spam.not.acm.org> wrote:
> On 02/09/2012 09:41 PM, Rob Shea wrote:
>
>
>
> >>     The use of the term "Sandbox" suggests security is a primary goal.  Ada
> >> was invented for the military.
>
> > True, and that is a bit point in favour.
>
> More along those lines: Ada is the language of choice for software that must
> behave correctly. It's the language of choice for SW that flies jetliners,
> controls passenger trains, controls nuclear reactors, and the like.
>
> Why is that? The answer is lives and money. If the SW fails, lives may be lost,
> and the company could be out billions of dollars. Ada has demonstrated that it
> is the least expensive way to get SW that won't do that.
>
> So if correct behavior of your SW is important, Ada is the way to go. You'll
> have to pay for decent SW engineers, and they're not cheap. If you don't care
> how the SW behaves, then you might be able to save some development money by
> using a popular language and the cheap people who use it. But if you've got
> decent SW engineers, a small group of them using Ada can usually produce better
> SW faster and cheaper than a large group of coders using a popular language.
>
> --
> Jeff Carter
> "IMHO, Interfaces are worthless."
> Randy Brukardt
> 117
>
> --- Posted via news://freenews.netfront.net/ - Complaints to n...@netfront.net ---




  reply	other threads:[~2012-02-10  6:33 UTC|newest]

Thread overview: 77+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2012-02-09 23:47 Arbitrary Sandbox Rob Shea
2012-02-10  0:10 ` Rob Shea
2012-02-10  2:01   ` Tez
2012-02-10  2:21     ` Rob Shea
2012-02-10  2:47       ` Tez
2012-02-10  4:11         ` Shark8
2012-02-13  2:23         ` BrianG
2012-02-10  4:17       ` tmoran
2012-02-10  4:41         ` Rob Shea
2012-02-10  6:15           ` Jeffrey Carter
2012-02-10  6:18             ` Rob Shea [this message]
2012-02-10 19:39               ` Jeffrey Carter
2012-02-10  6:19           ` Thomas Løcke
2012-02-10  9:32             ` Rob Shea
2012-02-10 10:09               ` Thomas Løcke
2012-02-10 11:39                 ` Ludovic Brenta
2012-02-10 12:05           ` Brian Drummond
2012-02-11 10:32           ` Maciej Sobczak
2012-02-11 11:39             ` Dmitry A. Kazakov
2012-02-11 21:15               ` Maciej Sobczak
2012-02-11 21:38                 ` Dmitry A. Kazakov
2012-02-11 23:05                   ` Rob Shea
2012-02-13  2:10               ` Tez
2012-02-13  9:08                 ` Yannick Duchêne (Hibou57)
2012-02-13 16:28                   ` Pascal Obry
2012-02-10  9:47       ` Georg Bauhaus
2012-02-10 11:45 ` Erich
2012-02-10 11:48 ` Ludovic Brenta
2012-02-11  6:11   ` Rob Shea
2012-02-12  2:10     ` Randy Brukardt
2012-02-12  8:40       ` björn lundin
2012-02-14  0:26       ` Shark8
2012-02-15 21:07         ` Randy Brukardt
2012-02-15 22:10           ` Yannick Duchêne (Hibou57)
2012-02-18  4:47           ` Shark8
2012-02-18  8:26             ` Dmitry A. Kazakov
2012-02-18 10:45               ` Yannick Duchêne (Hibou57)
2012-02-18 11:31                 ` Dmitry A. Kazakov
2012-02-18 11:58                   ` Niklas Holsti
2012-02-18 12:57                   ` Yannick Duchêne (Hibou57)
2012-02-18 18:55                   ` Robert A Duff
2012-02-18 19:24                     ` Niklas Holsti
2012-02-18 20:06                       ` tmoran
2012-02-18 21:53                         ` Niklas Holsti
2012-02-18 22:58                           ` Robert A Duff
2012-02-19  0:47                             ` tmoran
2012-02-20 23:39                               ` Robert A Duff
2012-02-21  3:29                                 ` tmoran
2012-02-21 17:17                                 ` tmoran
2012-02-21 21:03                                   ` Robert A Duff
2012-03-06  0:52                                 ` Randy Brukardt
2012-02-20 22:52                         ` Adam Beneschan
2012-02-18 23:03                       ` BrianG
2012-02-19  8:45                     ` Dmitry A. Kazakov
2012-02-20 23:27                       ` Robert A Duff
2012-02-21  8:36                         ` Dmitry A. Kazakov
2012-02-21  9:59                           ` Simon Wright
2012-02-21 10:59                             ` Dmitry A. Kazakov
2012-02-21 17:25                           ` Robert A Duff
2012-02-21 18:53                             ` Dmitry A. Kazakov
2012-02-21 21:19                               ` Robert A Duff
2012-02-22  8:24                                 ` Dmitry A. Kazakov
2012-02-21 21:25                               ` Yannick Duchêne (Hibou57)
2012-02-22  8:26                                 ` Dmitry A. Kazakov
2012-02-21  8:47                         ` Georg Bauhaus
2012-02-21 16:58                           ` Robert A Duff
2012-03-06  1:06                         ` Randy Brukardt
2012-03-07  5:43                           ` Yannick Duchêne (Hibou57)
2012-03-07 13:05                           ` Robert A Duff
2012-03-07 19:32                             ` tmoran
2012-03-07 20:24                               ` Dmitry A. Kazakov
2012-03-08  0:50                               ` Robert A Duff
2012-03-08  1:50                                 ` tmoran
2012-03-08 11:01                                 ` Brian Drummond
2012-03-08  1:01                               ` Shark8
2012-03-08  1:33                             ` Randy Brukardt
2012-02-20 20:52             ` Tero Koskinen
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox