|
|
|
|
|
|
by gmfawcett
1553 days ago
|
|
|
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. :) |
|
|