It doesn't. -- Stefan Kahrs in [Kah96] discusses the notion of completeness--programs which never go wrong can be type-checked--which complements Milner's notion of soundness--type-checked programs never go wrong [Mil78].
- Why Philosophy Matters to Cypherpunks Tim May
- Re: Why Philosophy Matters to Cypherpunks Julian Assange
- Re: Why Philosophy Matters to Cypherpunks Aaron