"Model 2" prototype status

Simon Ochsenreither simon at ochsenreither.de
Sun Aug 2 11:17:32 UTC 2015

>  we'll probably accept Foo<any> as shorthand for Foo<any, any, any>
> and Foo<ref> as shorthand for Foo<ref, ref, ref>
> Since the arity is fixed and known at compile time, there's no problem
> with this; there's no other logical meaning to instantiating with the
> wrong number of type args.
Partially applied type constructors? Not saying that this is a concern now, but
maybe your successor in 15 years will curse you for using this syntax, when they
try to make Java 20's type system a bit more useful. :-)

More information about the valhalla-dev mailing list