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

Question

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

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

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

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

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

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

Answer 1

На мой взгляд, он вряд ли.

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

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

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

.

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

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

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