Comment Re:Types (Score 1) 730
Then get the programmer to provide proofs.Unfortunately, that is an undecidable (in the Turing sense) problem in the general case.
Reality must take precedence over public relations, for Mother Nature cannot be fooled. -- R.P. Feynman
