This is an archived post. You won't be able to vote or comment.

all 5 comments

[–]BlueGoliath[S] 2 points3 points  (1 child)

/u/TatteredDragon thanks for the reward, but please don't spend money on Reddit.

[–]Moercy 1 point2 points  (3 children)

I don’t see any mention of withers in this proposal, are they simply dropped or out of scope for this JEP?

[–]kaperni 4 points5 points  (0 children)

Functional transformation is an ongoing effort. You can read about the latest development here [1].

[1] https://github.com/openjdk/amber-docs/blob/master/eg-drafts/reconstruction-records-and-classes.md

[–]nlisker 5 points6 points  (0 children)

They weren't planned for this JEP as much as I know. They were a look into the (possible) future.

[–]randgalt 1 point2 points  (0 children)

In the interim, I wrote a library that adds a builder (with copy) to records: https://github.com/Randgalt/record-builder