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

Remi Forax forax at
Tue Mar 5 16:40:57 UTC 2019

I hope we can still define "The other Value Type" :)


On March 5, 2019 3:42:19 PM UTC, John Rose <john.r.rose at> wrote:
>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,
>> 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

Sent from my Android device with K-9 Mail. Please excuse my brevity.

More information about the valhalla-dev mailing list