Two new draft pattern matching JEPs

Brian Goetz brian.goetz at
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: <>

More information about the amber-spec-experts mailing list