2183593 comment Comment Re:Types (Score 1) 730 by roba on Friday April 11, 2003 @11:42AM (#5710891) Attached to: The Hundred-Year Language Unfortunately, that is an undecidable (in the Turing sense) problem in the general case. Then get the programmer to provide proofs.
