Новый черновик JEP: Derived Record Creation (Preview)

Предлагается ввести новую синтаксическую конструкцию для удобного преобразования записей: e with { ... }.

Например, есть запись:

record Point(int x, int y, int z) { }

Пример преобразования:

Point newLoc = oldLoc with { 
  x *= 2; 
  y *= 2; 
  z *= 2; 
};

Это будет логически эквивалентно (но намного короче):

Point newLoc = switch (oldLoc) {
  case Point(var x, var y, var z) -> {
    x *= 2; 
    y *= 2; 
    z *= 2; 
    yield new Point(x, y, z);
  }
};

#record

Новые JEP'ы.

JEP 467: Markdown Documentation Comments
Предлагается ввести новый тип JavaDoc'а на основе Markdown в качестве альтернативы старому на основе HTML. Такой JavaDoc использует /// вместо /** ... */:

Старый:

/**
 * Returns a hash code value for the object. This method is
 * supported for the benefit of hash tables such as those provided by
 * {@link java.util.HashMap}.
 */

Новый:

/// Returns a hash code value for the object. This method is
/// supported for the benefit of hash tables such as those provided by
/// [java.util.HashMap].

JEP 468: Derived Record Creation (Preview)
Предлагается добавить в язык with'еры для записей:

record Point(int x, int y, int z) { }

Point nextLoc = oldLoc with {
    x *= 2;
    y *= 2;
    z *= 2;
};

Это особенно удобно, когда нужно изменить только один компонент записи из многих:

record User(int id, String firstName, String lastName, String email) {}

var newUser = oldUser with { id = 42 };

Озвучено новое предложение по String Templates. Предлагается избавиться от интерфейса Processor и оставить только StringTemplate. То есть больше не будет никаких STR."...", RAW."..." и FMT."...", и можно будет просто писать:

System.out.println("Hello \{name}");
String s = String.format("Hello %12s\{name}");

Чтобы это стало возможным, библиотекам нужно будет добавить явную поддержку аргументов StringTemplate:

public class PrintStream {
    ...
    public void println(String);
    public void println(StringTemplate);
}

public class String {
    ...
    public String format(String, Object...);
    public String format(StringTemplate);
}

Однако пока остаётся открытым вопрос, что делать, если нужно просто интерполировать шаблонную строку в String. Похоже, что будет какой-то новый метод вроде join():

String s = "Hello \{name}".join();

Пользователям macOS Sonoma на Apple Silicon не рекомендуется обновляться до версии 14.4, так как после этого Java-процессы могут неожиданно терминироваться. Проблема затрагивает все версии Java с 8 по 22. Обходного пути нет. Также после обновления у вас не будет простого способа откатиться на предыдущую версию macOS.
#macos

Завтра что-то выйдет

Спрингу исполнилось 20 лет. 24 марта 2004 года вышел Spring Framework 1.0 Final.

Сегодня с ребятами из каналов @javaswag и @staff_engineers будем обсуждать новые фичи в Java 22. Стрим начнётся в 20:30 по Москве. Приходите, будет интересно.

https://www.youtube.com/watch?v=8E_g-VHJCtw

Баг с крэшем JVM исправили в macOS 14.4.1. Так что теперь можно обновляться.
#macos

Новый черновик JEP: Module Import Declarations (Preview).

Предлагается добавить новый тип импорта: импорт всех экспортированных пакетов из модуля. Например:

import module java.base;

Это то же самое, что вручную написать import для всех пакетов, экспортированных в модуле java.base:

import java.io.*;
import java.util.*;
import java.util.function.*;
... // ещё 51 импорт

Брайан Гетц написал огромное письмо в рассылку, где впервые очень подробно и с конкретными примерами синтаксиса написал, как могут выглядеть member-паттерны (паттерны-члены). Напомню, что в Java сейчас есть только паттерны у записей. Member-паттерны позволят объявлять паттерны в любых классах. Рассмотрим несколько примеров:

Паттерн-деконструктор:

class Point {
    int x, y;

    Point(int x, int y) {
        this.x = x;
        this.y = y;
    }

    pattern Point(int x, int y) {
        matches Point(that.x, that.y);
    }
}

Статические паттерны:

class Optional<T> {
    static<T> Optional<T> of(T t) { ... }
    static<T> Optional<T> empty() { ... }

    static<T> case pattern(Optional<T> that) of(T t) {
        if (that.isPresent())
            matches of(that.get());
    }

    static<T> case pattern(Optional<T> that) empty() {
        if (that.isEmpty())
            matches empty();
    }
}

(В примере выше case нужен для проверки exhaustiveness компилятором)

Далее такие статические паттерны можно уже применять в switch или instanceof:

case Optional.of(var e): ...
case Optional.empty(): ...

Инстанс-паттерны:

public class Class<T> {
    ...

    pattern arrayClass(Class<?> componentType) {
        if (that.isArray())
            matches arrayClass(that.getComponentType());
    }
}

package java.util.regex;

public class Pattern 
    ...
    pattern(String that) regexMatch(String... groups) {
        Matcher m = matcher(that);
        if (m.matches())
            matches Pattern.regexMatch(IntStream.range(1, m.groupCount())
                                            .map(Matcher::group)
                                            .toArray(String[]::new));
    }
}

Использование:

int[] array = {1,2,3,4,5};
Class<?> clazz = array.class;
if (clazz instanceof arrayClass(componentType)) {
    ...
}

static Pattern As = Pattern.compile("(a*)");
static Pattern Bs = Pattern.compile("(b*)");
...

String str = "aaaa";
switch (str) {
    case As.regexMatch(var as): ...
    case Bs.regexMatch(var bs): ...
    ...
}

Как-то так.

#patternmatching

Вышла IntelliJ IDEA 2024.1

😥 String Templates всё. В Java 23 их не будет, даже с --enable-preview.

Сегодня начинается Rampdown Phase One для JDK 23. Окончательный список фич:

455: Primitive Types in Patterns, instanceof, and switch (Preview)
466: Class-File API (Second Preview)
467: Markdown Documentation Comments
469: Vector API (Eighth Incubator)
473: Stream Gatherers (Second Preview)
471: Deprecate the Memory-Access Methods in sun.misc.Unsafe for Removal
474: ZGC: Generational Mode by Default
476: Module Import Declarations (Preview)
477: Implicitly Declared Classes and Instance Main Methods (Third Preview)
480: Structured Concurrency (Third Preview)
481: Scoped Values (Third Preview)
482: Flexible Constructor Bodies (Second Preview)

Как обычно, сплошные превью и инкубаторы. Из стабильного только Markdown Documentation Comments, но я не думаю, что прям все ринутся писать джавадоки в новом формате. Хотя, может, кто-то и будет.

#java23

Maven Daemon вышел из беты. Зарелизился mvnd 1.0.0 (и уже 1.0.1). 1.0.0 соответствует Apache Maven 3.9.8.

А вы юзаете mvnd? Я уже юзаю давно. Работает отлично. Работает гораздо быстрее, чем простой Maven.

#maven #mvnd

Сбер выпустил открытую среду разработки Giga IDE на базе IntelliJ IDEA/Pycharm со встроенным ИИ-ассистентом GigaCode. Среда доступна в двух вариантах: Giga IDE Desktop и Giga IDE Cloud.

Вскоре после выхода разработчик из JetBrains Юрий Артамонов обнаружил, что в кодовой базе GigaIDE содержится проприетарный код из IntelliJIDEA Ultimate.

СпёрIDE.

Update: Юрий Артамонов разобрался, что Giga IDE всё-таки не нарушает лицензию, так как использует только свободное API.
Но GigaIDE всё-таки будет у нас на карандаше 😉.

#gigaide #gigacode

Команда проекта Leyden сообщила, что стали доступны сборки раннего доступа Leyden JDK. Они являются результатом более чем года работы над проектом, главной целью которого является ускорение старта JVM. Разработчики просят сообщество поэкспериментировать со сборками и сообщить фидбек. На текущий момент сборки доступны под Linux/x64 и macOS/AArch64.
#leyden

Пока вы там переходите на Java 17, в Java 24 уже появился первый JEP: Prepare to Restrict the Use of JNI
#jni

Вышел новый EA билд Валгаллы. Как утверждает автор письма, это очень важный майлстоун. Скачиваем и тестируем.
Valhalla всё ближе и ближе к попаданию в mainstream.
#valhalla

NonNull и Nullable аннотации больше не нужны?