Re: Re: Re: How Safe is Safe::?

That depends on who you're buying from/what your purpose is...

Think Hospitals / Military / Govornment

Languages like Haskell exist specifically so they can be proved correct. While Haskell, for instance, is a real pain to program in (from my short experience in class), you can take your time: we need to know that there really isn't someone taking off on that runway that the plane is about to land on. ;)

-Lexicon

Comment on Re: Re: Re: How Safe is Safe::?

Replies are listed 'Best First'.
Ria: How Safe is Safe::? by baku (Scribe) on Feb 14, 2001 at 20:11 UTC
The US Air Force, at least, requires no warranty of any software except firmware (e.g. for an airplane). Software crashes are not just commonplace, they are everyday, and "security" is almost entirely a joke. Other branches of the military do seem to have more cards in their decks, however. This attitude makes me very nervous about airplanes landing on Air Force bases. Thankfully, NASA has quality testing and breathes down the Air Force's backs when dealing with the space program...	[reply]

Replies are listed 'Best First'.

Ria: How Safe is Safe::?
by baku (Scribe) on Feb 14, 2001 at 20:11 UTC

The US Air Force, at least, requires no warranty of any software except firmware (e.g. for an airplane). Software crashes are not just commonplace, they are everyday, and "security" is almost entirely a joke. Other branches of the military do seem to have more cards in their decks, however.

This attitude makes me very nervous about airplanes landing on Air Force bases. Thankfully, NASA has quality testing and breathes down the Air Force's backs when dealing with the space program...

[reply]