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
In reply to Re: Re: Re: How Safe is Safe::?
by Lexicon
in thread How Safe is Safe::?
by tadman
| For: | Use: | ||
| & | & | ||
| < | < | ||
| > | > | ||
| [ | [ | ||
| ] | ] |