3 ms·
Type checking is much more than that. It is not the same as throwing exceptions when types don't match; it is about proving that a type checked program will nev
by rs86 8y ago
Type checking is much more than that. It is not the same as throwing exceptions when types don't match; it is about proving that a type checked program will never produce type errors.
- crimsonalucard 8y agoYou're right. I wanted to illustrate that type checking shouldn't be a factor in the the parents context as you can use code to explicitly type check or prove it.