generic specialization design discussion

Brian Goetz brian.goetz at
Mon Apr 8 16:50:28 UTC 2019

The slide deck contains a list of terminology.  I’d like to posit that the most confusion-reducing thing we could do is come up with another word for value types/classes/instances, since the word “value” is already used to describe primitives and references themselves.  This is a good time to see if there are better names available.  

So for this thread only, we’re turning on the syntax light to discuss what might be a better name for the abstraction currently known as “value classes”.  

> On Mar 29, 2019, at 12:08 PM, John Rose <john.r.rose at> wrote:
> This week I gave some presentations of my current thinking
> about specializations to people (from Oracle and IBM) gathered
> in Burlington.  Here it is FTR.  If you read it you will find lots
> of questions, as well as requirements and tentative answers.
> This is a checkpoint.  I have more tentative answers on the
> drawing board that didn't fit into the slide deck.  Stay tuned.
> — John

More information about the valhalla-spec-experts mailing list