VP
А ты всё про 10 лет
Size: a a a
2020 June 17
VP
Сколько там с момента выхода гошки, а дошли только до беты?
BP
Мономорфизация (англ. monomorphizing) представляет собой технику оптимизирующей компиляции параметрического полиморфизма, которая заключается в порождении мономорфного экземпляра для каждого случая использования полиморфной функции или типа. Другими словами, параметрический полиморфизм на уровне исходного кода транслируется в ad hoc полиморфизм на уровне целевой платформы. Мономорфизация повышает быстродействие (точнее, делает полиморфизм «бесплатным»), но вместе с тем может увеличивать размер выходного машинного кода.[92]
Ну так это jvm таки делает в рантайме 🙃
VP
Ну так это jvm таки делает в рантайме 🙃
А она разве умеет специализировать код с дженериками?
VP
Все оптимизации на уровне метода. Всё заинлайнилось - ок, нет - никакой оптимизации не будет.
AK
Так всё то же самое, только там не было споров, а просто забивали
не то же самое, это не было левым r&d, это стало фоициальной линией партии, поэтому есть ресурсы и приемлимые сроки, а лкм не стал основной фичей где-то. типа вот будет жаба15 и там лум.
BP
А она разве умеет специализировать код с дженериками?
Вроде да. Но не эксперт
VP
не то же самое, это не было левым r&d, это стало фоициальной линией партии, поэтому есть ресурсы и приемлимые сроки, а лкм не стал основной фичей где-то. типа вот будет жаба15 и там лум.
Ну так официальная линия оракла - лум нужен и будет
ML
Мономорфизация (англ. monomorphizing) представляет собой технику оптимизирующей компиляции параметрического полиморфизма, которая заключается в порождении мономорфного экземпляра для каждого случая использования полиморфной функции или типа. Другими словами, параметрический полиморфизм на уровне исходного кода транслируется в ad hoc полиморфизм на уровне целевой платформы. Мономорфизация повышает быстродействие (точнее, делает полиморфизм «бесплатным»), но вместе с тем может увеличивать размер выходного машинного кода.[92]
Вот я это запомнил под именем специализация
ML
не оно?
BP
Все оптимизации на уровне метода. Всё заинлайнилось - ок, нет - никакой оптимизации не будет.
Внутри методов работает, даже есть оптимизация на единственного наследника интерфейса
VP
Внутри методов работает, даже есть оптимизация на единственного наследника интерфейса
Ну так метод с дженериком, на входе Object. Можно сразу на входе проверить, что это конкретный класс, но боксинг при вызове останется.
AK
Ну так официальная линия оракла - лум нужен и будет
неа. был бы нужен запланировали в каком релизе оно будет. как records какие-нибудь или sealed classes. лум делают офигенно долго и давно, генерики в го делалют два года и есть чёткий план. они точно будут в го2 и возможно мы их увидим раньше в 1.17.
никакой подобной конкретики у лума нет.
никакой подобной конкретики у лума нет.
VP
неа. был бы нужен запланировали в каком релизе оно будет. как records какие-нибудь или sealed classes. лум делают офигенно долго и давно, генерики в го делалют два года и есть чёткий план. они точно будут в го2 и возможно мы их увидим раньше в 1.17.
никакой подобной конкретики у лума нет.
никакой подобной конкретики у лума нет.
А этот самый го2 когда будет?
BP
Ну так метод с дженериком, на входе Object. Можно сразу на входе проверить, что это конкретный класс, но боксинг при вызове останется.
Так дженерики это просто каст объекта, затрат там немного
(
чё тут у вас, опять Антон связует несвязуемые нарративы?
VP
Так дженерики это просто каст объекта, затрат там немного
Ну в случае с примитивами эти затраты могут быть заметны
BP
неа. был бы нужен запланировали в каком релизе оно будет. как records какие-нибудь или sealed classes. лум делают офигенно долго и давно, генерики в го делалют два года и есть чёткий план. они точно будут в го2 и возможно мы их увидим раньше в 1.17.
никакой подобной конкретики у лума нет.
никакой подобной конкретики у лума нет.
Лум там зависит от других фич
VP
неа. был бы нужен запланировали в каком релизе оно будет. как records какие-нибудь или sealed classes. лум делают офигенно долго и давно, генерики в го делалют два года и есть чёткий план. они точно будут в го2 и возможно мы их увидим раньше в 1.17.
никакой подобной конкретики у лума нет.
никакой подобной конкретики у лума нет.
Мне кажется, или пока есть только предложение с демкой, но непонятно даже, будет ли в релизе что-то похожее, или всё может поменяться несколько раз (с неизвестными сроками)?
AK
А этот самый го2 когда будет?
Скажут после 1.17, который будет в августе 21 года по идее. Конкретно по генерикам, наскольк оя понял из статьи - план это 1.17