4 ms·

Tons of programming languages strip the types for runtime. Notably java.

• Quekid5 5y ago
  You're thinking of type erasure. That's very different from soundness. (but is in fact correct that Java's type system isn't entirely sound, I forget the details, but I believe array element type variance is one of the soundness hole.)