5 ms·
Type safety is a quantity measured in type errors. How many type errors in a language that is not type checked vs. how many errors in a program that is? The n
by deltaonefour 5y ago
Type safety is a quantity measured in type errors.
How many type errors in a language that is not type checked vs. how many errors in a program that is?
The numerical difference is quantitative. You can therefore do data analysis on this. Though a type safe program should in theory have ZERO type errors during runtime.
- gmfawcett 5y agoWe 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. :)