minimal value types proposal

John Rose john.r.rose at
Thu Sep 1 06:47:24 UTC 2016

P.S. A couple of paragraphs were sent broken.  Here are the fixes.

On Aug 31, 2016, at 5:14 PM, John Rose <john.r.rose at> wrote:
> The fields are wrapped in a primitive value struct with no
> methods.  That struct can be be referred to by Q-types
> (including bytecode descriptors but not class owners),
> method handles, and vload/vstore/vreturn.  The MH
> runtime can spin

…can spin whatever standard factories, getters, and withers
are needed, in response to Lookup requests.

> The POJO carries all the payload except the layout of
> its data fields.  XXXX

Thus, normal content, like inner classes, methods,
interface bindings, and annotations, is all in an
envelope of a standard format, the POJO.
The POJO may also carry snippets of code, in
the form of private static methods, which are
intended *only* for the Q-type.

More information about the valhalla-spec-observers mailing list