We can agree to disagree on that. :) By your metric, I can improve type safety simply by weakening the guarantees of my type system. Putting it another way --

We can agree to disagree on that. :) By your metric, I can improve type safety simply by weakening the guarantees of my type system. Putting it another way -- a type safe program, in the limit, should have an infinite number of type errors. :)