Этот пост — вольно-краткий перевод документа State of the Values, предложения по введению типов-значений в JVM и сам язык Java, который написали Джон Роуз, Брайан Гоетц и Гай Стил, разбавленный моими мыслями. Опущены детали предложения по реализации типов-значений на уровне байт-кода, что не очень интересно для большинства Java-программистов.
Важнейшая мысль: объектная (ссылочная) идентичность нужна только для поддержки изменяемости объектов. Объект может изменить состояние, но по ссылке мы всегда можем проверить, что это «тот же» объект. Поэтому типы-значения будут строго неизменяемые.
Предполагаемые варианты использования типов-значений:
- Числа: комплексные, беззнаковые, 128-битные, с фиксированной запятой и т. д. Все, что не описывается имеющимися примитивами.
- Алгебраические типы:
Optional, Choice<T,U>, перечисления
Кортежи: пары, тройки, ...
Итераторы, курсоры
«Уплощение» сложных структур
Я знаю, этот блог читает много сотрудников Oracle, которые куда внимательнее следят за списками рассылки и вообще ближе к теме, буду рад если они внесут важные уточнения.
Only registered users can participate in poll. Log in, please.
Нужны ли в Java типы-значения?
14.21%Очень, страдаю без них52
46.45%Было бы неплохо170
27.87%Не нужны102
11.48%Java не нужна42
366 users voted. 175 users abstained.
Only registered users can participate in poll. Log in, please.
Когда в Java добавят типы-значения (ваш прогноз)?
11.54%Java 942
23.9%Java 1087
17.31%Еще позже63
21.98%Никогда80
25.27%Не знаю92
364 users voted. 165 users abstained.
Only registered users can participate in poll. Log in, please.
Как вам предложение в текущем виде?
1.61%То что надо5
35.05%Нормально109
26.69%Я думал, намного лучше будет это все83
36.66%Сложно сказать, предложение неконкретное114
311 users voted. 189 users abstained.
