[pattern-switch] Opting into totality

Brian Goetz brian.goetz at oracle.com
Sun Sep 6 16:53:36 UTC 2020

> So I appreciate the brainstorming, but personally don't really see a problem that needs solving here. (Other than the syntax bikeshed.)

Agreed, it was worth poking around the corners with a flashlight, but 
the exploration brought me back to this point too.  (If we even need it 
at all.)

Some of the motivation for this exercise has been that some people feel 
uncomfortable at inferred totality.  But, there's a good chance that 
this discomfort is temporary -- this happens every time any sort of 
implicitness is added to the language.   (People freaked out about var 
at first too.)

More information about the amber-spec-experts mailing list