Hacker News new | past | comments | ask | show | jobs | submit login

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



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.)




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: