Updated pattern match documents
brian.goetz at oracle.com
Fri Sep 7 18:41:12 UTC 2018
I've updated the documents regarding pattern matching, and uploaded them
The first document is an update of a previous document (old version
outlines the general arc of the feature and general motivation.
The second captures the discussions we've had regarding the messy
details of typing, scoping, nullability, shadowing, etc. I think we've
made a lot of progress on these.
We would not implement this all at once; we'd proceed incrementally,
probably starting with type patterns in `instanceof`, and then
proceeding to `switch` or to deconstruction patterns.
Please review and comment.
More information about the amber-spec-observers