comp.lang.ada
 help / color / mirror / Atom feed
From: Maciej Sobczak <see.my.homepage@gmail.com>
Subject: Re: computer language used to program Mars Lander
Date: Mon, 14 Jul 2008 14:27:21 -0700 (PDT)
Date: 2008-07-14T14:27:21-07:00	[thread overview]
Message-ID: <950d11a0-9da3-4529-aa6a-9a4ff2e86f50@y38g2000hsy.googlegroups.com> (raw)
In-Reply-To: g5fcsk$t93$1@aioe.org

On 14 Lip, 13:21, jacob navia <ja...@nospam.com> wrote:

> They do not use even memory allocation. They use a subset of C
>
> I am sure they do not use C++!

Why? I would expect some parts of C++ being used, no matter how much
constrained is the target environment.
In particular, C++ has better and more expressive type system,
destructors that can ensure proper execution of "exit" actions, better
support for encapsulation, etc. All these are real advantages as far
as safe and secure code is concerned and none of these require
additional run-time resources.

For example, would you like to have custom integer types with range
checking in this critical software? (Expected answer on this group is
"yes".) This is trivial in C++ and almost impossible in C. This alone
is already a reason to prefer C++ over C for such systems.

Now, why there is no Ada on Mars is another story - but don't worry
about what Martians will think: they will not see the source code
anyway. ;-)

--
Maciej Sobczak * www.msobczak.com * www.inspirel.com



  reply	other threads:[~2008-07-14 21:27 UTC|newest]

Thread overview: 61+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2008-07-14 11:18 computer language used to program Mars Lander jhc0033
2008-07-14 11:21 ` jacob navia
2008-07-14 21:27   ` Maciej Sobczak [this message]
2008-07-14 11:49 ` Nick Keighley
2008-07-15  7:27   ` Maciej Sobczak
2008-07-16  6:02   ` jhc0033
2008-07-16 21:57     ` Brian
2008-07-23 14:43     ` Michael Oswald
2008-07-23 22:53       ` Larry Elmore
2008-07-24  6:59       ` jhc0033
2008-07-24  7:18         ` Stefan Scholl
2008-07-24 12:14           ` Grant Rettke
2008-07-24  7:39         ` John Thingstad
2008-07-24  7:51           ` jhc0033
2008-07-24  9:40             ` John Thingstad
2008-07-24 20:39             ` Brian
2008-07-25  6:10               ` jhc0033
2008-07-25 20:29                 ` Brian
2008-07-26  3:03                   ` jhc0033
2008-07-26  6:09                     ` Brian
2008-07-24  8:40         ` pls.mrjm
2008-07-24  9:04         ` Pascal J. Bourguignon
2008-07-24 11:35           ` Michael Oswald
2008-07-24 12:15             ` Stefan Scholl
2008-07-24 12:36               ` Michael Oswald
2008-07-25 21:19         ` j.oke
2008-07-25 22:34           ` Adam Beneschan
2008-07-25 23:30             ` Joost Kremers
2008-07-26 12:41             ` j.oke
2008-07-26 12:51             ` j.oke
2008-07-17 21:56   ` Paul Hsieh
2008-07-17 22:30     ` Chris Thomasson
2008-07-17 23:03       ` Default User
2008-07-18  0:03         ` Chris Thomasson
2008-07-18  0:02       ` Gary Scott
2008-07-18  0:08         ` Chris Thomasson
2008-07-18 18:02     ` Colin Paul Gloster
2008-07-18 18:51       ` Dmitry A. Kazakov
2008-07-18 18:37     ` Pascal Obry
2008-07-18 19:45     ` Gautier
2008-07-18 20:26       ` jacob navia
2008-07-18 21:01         ` Georg Bauhaus
2008-07-18 21:14         ` Gary Scott
2008-07-18 20:45       ` Richard Tobin
2008-07-22  8:39       ` Jean-Pierre Rosen
2008-07-22 10:45         ` Nick Keighley
2008-07-22 10:50           ` Richard
2008-07-22 11:20           ` Jean-Pierre Rosen
2008-07-22 21:11             ` CBFalconer
2008-07-23  8:40               ` Jean-Pierre Rosen
2008-07-23 13:00                 ` CBFalconer
2008-07-26 11:13               ` Antoninus Twink
2008-07-22 12:05           ` Chris Dollin
2008-07-22 13:39           ` Walter Banks
2008-07-14 15:31 ` george.priv
2008-07-14 15:38 ` Keith Thompson
2008-07-14 21:29   ` CBFalconer
2008-07-15 12:04 ` Stephen Leake
2008-07-15 13:55   ` Georg Bauhaus
2008-07-15 23:35   ` Phaedrus
2008-07-16  5:21     ` christoph.grein
replies disabled

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