Two new draft pattern matching JEPs

Brian Goetz brian.goetz at oracle.com
Fri Mar 5 23:13:25 UTC 2021


Complete agreement.  This amounts to a hidden laziness requirement that, 
while it might be possible to support it for built-in patterns, would 
present hideous translation challenges for nontrivial declared patterns.

On 3/5/2021 5:41 PM, Guy Steele wrote:
> A compiler would likely optimize common special cases to effectively implement all-at-once population of bindings when it would be impossible to detect any difference in behavior.  But I don’t think all-at-once population is the right theoretical model.

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


More information about the amber-spec-experts mailing list