Current State of "withers" (derived record creation)

[Angelos Bimpoudis]

Hello!

Derived record creation fits in the biggest picture of composing construction
and deconstruction together (new class instance creation and pattern matching).
While the basic building blocks are there for record classes, we are making
progress on the deconstruction of normal classes as well. When the picture is
clearer there, we can circle back to withers once again, since it is still on
our list of priorities.

Best,
Angelos
________________________________
From: amber-dev <amber-dev-retn at openjdk.org> on behalf of Nick Hensel <nickhensel25 at icloud.com>
Sent: 06 May 2025 20:31
To: amber-dev at openjdk.org <amber-dev at openjdk.org>
Subject: Current State of "withers" (derived record creation)

Hi Amber Team.

I'm currently checking out what could be finalized in java 25 and noticed that the "Derived record creation" JEP (https://openjdk.org/jeps/468) hasn't been updated since last year.

Is there any information available on the current state of this JEP or is it likely to be worked on in the near future? The feature would be very convenient in many cases.

Best regards,
Nick Hensel



-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.openjdk.org/pipermail/amber-dev/attachments/20250507/832d0033/attachment.htm>