RefObject and ValObject

forax at forax at
Mon Apr 15 20:37:37 UTC 2019

It's not bikeshedding, hence the "if you prefer ...",
it's trying to explain that it's a typing issue and not a runtime class issue.


----- Mail original -----
> De: "John Rose" <john.r.rose at>
> À: "Remi Forax" <forax at>, "Maurizio Cimadamore" <maurizio.cimadamore at>
> Cc: "Brian Goetz" <brian.goetz at>, "valhalla-spec-experts" <valhalla-spec-experts at>
> Envoyé: Lundi 15 Avril 2019 20:13:50
> Objet: Re: RefObject and ValObject

> Avoid the Bikeshed!  Make sure that temporary or provisional
> syntaxes look __Different from permanent ones.
> On Apr 15, 2019, at 8:03 AM, Remi Forax <forax at> wrote:
>> val, ref and any only applies to Object.
>> if you prefer in term of notation, let's rename ref Object to Object?, val
>> Object to Object! and any Object to Object*,
>> you can apply ? on any value type, Object included,
> > you can apply ! and * only on Object.

More information about the valhalla-spec-observers mailing list