Кто-нибудь ожидает, что JVM когда-либо будет иметь reified типы?

Question

Я понимаю проблему, связанную с наличием усовершенствованных типов для JVM, ну, может быть, я не так понимаю, как неоднократно слышал, что JVM просто не может поддержать такую ​​концепцию без нарушения обратной совместимости. Но это только заставляет меня задуматься о том, есть ли планы на будущее для типов с ограниченным доступом или у JVM их просто не будет, например, когда-либо?

Answer 1

Все причины, приведенные для стирания типа, смешны. Никто не ожидает, что старые JVM будут выполнять код, скомпилированный для будущих JDK. Но вы правы, это обычное объяснение. Если вы хотите хорошие дженерики, я предлагаю другой язык, который на самом деле продолжает развиваться.