[prev in list] [next in list] [prev in thread] [next in thread]
List: haskell-cafe
Subject: [Haskell-cafe] Re: Stone age programming for space age hardware?
From: Michael Schuerig <michael () schuerig ! de>
Date: 2010-06-08 19:42:32
Message-ID: 201006082142.33807.michael () schuerig ! de
[Download RAW message or body]
On Tuesday 08 June 2010, Hans van Thiel wrote:
> Now, what Gerard Holzmann told me in the interview, is that NASA is
> very conservative in it's use of software tools. They don't use C++,
> just C, and a well defined version of the GNU C compiler at that.
> The coding standards, which even prohibit the use of C pointers, are
> aimed to keep everything as simple as possible. Just imagine
> hundreds of people working over many years to produce code where any
> error, how trivial it may be, will occur millions of miles away,
> cost hundreds of millions of dollars, and could damage the
> reputation of the company and its future funding.
Perhaps it's just my lack of imagination that was driving my original
question. I'm just having a hard time imagining how to write reasonably
interesting algorithms that way.
As I wrote, they might "cheat". It's entirely possible to implement
dynamic memory on top of fixed-size arrays and use indexes instead of
pointers. Of course, I have no idea if that's what they do.
Michael
--
Michael Schuerig
mailto:michael@schuerig.de
http://www.schuerig.de/michael/
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
[prev in list] [next in list] [prev in thread] [next in thread]
Configure |
About |
News |
Add a list |
Sponsored by KoreLogic