it's a value! it's a reference!, was Substitutability, was Re: Finding the spirit of L-World

John Rose john.r.rose at
Tue Mar 5 15:42:19 UTC 2019

On Mar 5, 2019, at 8:53 AM, Frederic Parain <frederic.parain at> wrote:
> To add some fuel to the fire, JLS and JVMS are not the
> only specifications of the Java platform. Looking at the JNI spec, the
> term “Value Type” is already defined:

Even worse, it defines "The Value Type".  I guess that's it,
we can't define any more?  :-)

— John

More information about the valhalla-dev mailing list