Re: Re: How Safe is Safe::?

[MeowChow]

There is no commercial software product, to my knowledge, which warrants suitability or fitness for any purpose. Moreover, the warranties usually say something to the effect of "if this program causes your computer to burst into flames, impoverishes you, and gives you cancer, it ain't our fault."

Commercial software warranties serve the purpose of disclaiming responsibility, not accepting it.

   MeowChow                                   
               s aamecha.s a..a\u$&owag.print

[Lexicon]

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

[baku]

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...

[tilly]

Actually you have to warranty something. It is traditional to warranty the physical media that you shipped for a period (eg 90 days), under the theory that the majority of installation problems will be due to a bad CD.