Что вы думаете? Будет ли JVM получать поддержку дженериков?Будет ли расширяться JVM для обработки дженериков?
Вполне вероятно, что это потребует существенных изменений в JVM, но также и в формате файла классов , но языки, работающие на виртуальной машине, будут очень полезны для него.
Редактировать: Язык Java фактически поддерживает некоторые виды дженериков как функцию времени компиляции, которая добавляет некоторые приведения к байт-коду, к которому люди должны были добавить вручную раньше.
Решение об отсутствии изменений в JVM или спецификации файла класса было хорошо понято в это время, поскольку они не хотели нарушать обратную совместимость, и Java был единственным существенным языком для JVM в наши дни.
Хотя это решение, возможно, было уместно для языка Java, оно значительно уменьшило свободу слова, на котором другие языки должны выбирать, как они хотят реализовать дженерики на виртуальной машине.
Учитывая, что Sun/Oracle заявили, что JVM является более дружелюбным местом для альтернативных языков, действительно ли они будут делать то, что они обещали, или считают, что достаточно недорогого дополнения InvokeDynamic?
Вы хотите удалить тип erasure и использовать общие типы напрямую? – Bruno
_'but языки, работающие на виртуальной машине, в значительной степени выиграют от этого. Как именно? –
Я думал, что Java уже поддерживает дженерики. –