> Sometimes "strong typing" means that there are no holes in the type system: no datum is being misused if there are no diagnostics about type. I have never he

> Sometimes "strong typing" means that there are no holes in the type system: no datum is being misused if there are no diagnostics about type. I have never heard this. I do, however, use "sound" and "soundness" for virtually rhe same thing. The reason why is because both of these terms are worthwhile as distinct, meaningul, well-defined terms. It also doesn't make sense: type correctness is a binary calculation. Strong is a comparative, which isn't super useful when there are only two values.