A peek at the roadmap for pattern matching and more

[Brian Goetz]

Several folks have asked that I sketch out a little more of the roadmap 
for pattern matching, so that we can better evaluate the features being 
discussed now (since, for example, the semantics of pattern matching are 
heavily influenced by nested patterns.)

I've checked into two drafts which are VERY ROUGH, but which correspond 
to the next two logical increments after patterns in switch.

Deconstruction patterns:

https://github.com/openjdk/amber-docs/blob/master/eg-drafts/deconstruction-patterns-records-and-classes.md

This document outlines the semantics of deconstruction patterns and 
nested patterns, and declaration of deconstructors in classes.

Reconstructors:

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

This one addresses the challenge of "mutating" immutable objects such as 
records and inline classes, and builds on deconstructors.

(There are some teasers for related features, mostly to put these in 
context, but I don't want to get distracted on those features until 
these are nailed down, so take them as merely context.)


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.openjdk.java.net/pipermail/amber-spec-experts/attachments/20200812/f01e9859/attachment-0001.htm>