"Model 2" prototype status
brian.goetz at oracle.com
Sat Aug 1 21:48:07 UTC 2015
> I dislike the Foo<ref> / Foo<any> thing for several reasons.
Not surprising. This wasn't our first choice either.
We spent a great deal of effort investigating whether it was possible to
re-use Foo<?> to mean Foo<ref> when the corresponding tvar is a ref
tvar, and to mean Foo<any> when the corresponding tvar is an any tvar.
Seems obvious, right?
Several hundred hours later, the short answer is that things fall apart
when a library is any-fied and the client is not recompiled; this would
make any-fication a binary-incompatible change, which would be a loser.
So with tears in our eyes, we reluctantly concluded that we needed to
differentiate between Foo<ref> and Foo<any>. Once we swallowed that
pill, many things snapped into place. So as sad as it is to have two
kinds of wildcard, I'm pretty sure its the right call.
You prefer another syntax? Sure, I'm sure there are alternatives. We
can talk about it -- but not this year! We have way more important
things to work out before that comes anywhere near the top of the list.
As to bounds... we're still working out the details of the interaction
between value types and interfaces. So its quite possible that Foo<any
T extends Comparable> may in fact be meaningful. (And if that's the
case, primitives might join the party too.) Or not, we're not sure yet.
More information about the valhalla-dev