Towards Minimal L World

Paul Sandoz paul.sandoz at oracle.com
Thu May 17 19:24:32 UTC 2018



> On May 16, 2018, at 7:53 PM, Dan Smith <daniel.smith at oracle.com> wrote:
> 
>> On May 16, 2018, at 4:45 PM, Brian Goetz <brian.goetz at oracle.com <mailto:brian.goetz at oracle.com>> wrote:
>> 
>> No support for any interaction between values and generics _whatsoever_ (I said minimal!)
> 
> You clarified that this means the compiler actively rejects types like List<Point>. Not clear to me what would prompt that—it's more work for the compiler, the JVM doesn't care either way, and it's easy for users to work around (use a raw type).
> 

Right, one could use a raw type, which would induce, by default, a warning from javac, so maybe a warning is sufficient by default for the List<Point> case.


> But the quality of language support will be "crappy ad-hoc" anyway, so, you know, whatever works. I'm just happy to have a compiler at all!

Indeed, it's liberating :-)

Paul.


More information about the valhalla-spec-observers mailing list