标签： java type-erasure
换句话说，实现没有类型擦除的强类型只需要一种新语言或一种新的JVM？
注意：我不会问擦除的时间和方式。我在问什么是要求它。无法更改语言或无法更改JVM。或两者兼而有之。
更新：
非常清楚，我不是在询问任何实施细节。这个问题是关于遗产的。除非我错误的类型擦除已被证明是为了向后兼容我们必须忍受的东西。目前如何实施以及何时生效都不是问题。
对于这个问题的任何答案都应该明确，新的强类型语言的新规范是否可以消除类型擦除，并且仍然在JVM上运行，因为它是当前指定的。