seebs@plethora.net (Peter Seebach) writes:

> people will be a bit less happy to use NetBSD - and the goal is to get them
> using it, no?

No. The goal is to get them to writing it.

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