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

[John Rose]

On Mar 5, 2019, at 8:53 AM, Frederic Parain <frederic.parain at oracle.com> 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:
> 
> https://docs.oracle.com/javase/8/docs/technotes/guides/jni/spec/types.html#the_value_type

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

— John