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