Deconstruction Patterns

Posted on March 6, 2023

As we are wrapping up record patterns, it's time to look ahead to the next major part of the pattern matching story -- extending the capabilities of record patterns to all classes that want to support destructuring. Record patterns are simply a special case of deconstruction patterns or deconstructors, where we derive the deconstructor API, implementation, and use from the state description of the record ...

More at https://mail.openjdk.org/pipermail/amber-spec-experts/2023-March/003766.html