[External] : Re: Rehabilitating switch -- a scorecard
brian.goetz at oracle.com
Tue May 18 17:07:41 UTC 2021
> to fill the gap, we need
> - _ as pattern equivalent to var _ + _ not be entered in the scope
On the list, will come at some point.
> - constant as pattern, Foo(constant) being equivalent to Foo(var x) && x == constant
Maybe, not sure it carries its weight.
> - inference of Type in a destructuring pattern, case Foo(var x, var y) becomes case (var x, var y) if the type of the switched value is Foo
> This kind of inference is also useful in pattern assignment
> with Foo(var x, var y) = foo; being written (var x, var y) = foo;
> - tuple as first class citizen
Sorry, no. I know you really want this, but this is similar to the
function-type-vs-functional-interface issue. We made our choice when we
did records -- records are our tuples.
More information about the amber-spec-experts