Будет ли расширяться JVM для обработки дженериков?

Question

Что вы думаете? Будет ли JVM получать поддержку дженериков?

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

Редактировать: Язык Java фактически поддерживает некоторые виды дженериков как функцию времени компиляции, которая добавляет некоторые приведения к байт-коду, к которому люди должны были добавить вручную раньше.

Решение об отсутствии изменений в JVM или спецификации файла класса было хорошо понято в это время, поскольку они не хотели нарушать обратную совместимость, и Java был единственным существенным языком для JVM в наши дни.

Хотя это решение, возможно, было уместно для языка Java, оно значительно уменьшило свободу слова, на котором другие языки должны выбирать, как они хотят реализовать дженерики на виртуальной машине.

Учитывая, что Sun/Oracle заявили, что JVM является более дружелюбным местом для альтернативных языков, действительно ли они будут делать то, что они обещали, или считают, что достаточно недорогого дополнения InvokeDynamic?

Answer 1

По-моему это маловероятно.

Было бы просто слишком разрушительно применять эти изменения на языке Java. Лингвистическая и обратная совместимость с двумя разными моделями дженериков была бы кошмаром для дизайнеров.

И без, Java, чтобы управлять изменениями в JVM, трудно понять, как Oracle может/может оправдать выполнение требуемой работы.

Единственные возможности я вижу, являются:

• Oracle решает разработать язык преемника на Java (что не имеет обратной совместимости), что делает дженерики, затворов и целую кучу вещей лучше. Это было бы действительно смелым бизнес-решением, и я не думаю, что Oracle способен это сделать.

• Куча других людей/компаний собираются вместе и развивают спецификацию JVM и кодовую базу. Это также смелый шаг.

Я не думаю, что это, вероятно, что Oracle будет ресурсом значительных изменений в JVM только для поддержки языков, что они не имели никакого коммерческого интереса. Мы говорим здесь Oracle ... где бизнес типов имеют гораздо более жесткий контроль над тем, что делают инженерные типы, чем в дни умирающих солнечных дней. (Эй ... мы могли бы начать целую тему Джека Вэнса, идущую здесь :-)