You say "Yes" "primitive operations can be applied to values of the wrong type", but then you say that doesn't happen and what actually happens is that "it throws a runtime exception".
What you seem to mean is that isn't what I (`naasking`) would call type safety.
That may be.
However, it clearly has been a text-book meaning of type safety.
What you seem to mean is that isn't what I (`naasking`) would call type safety.
That may be.
However, it clearly has been a text-book meaning of type safety.