RefObject and ValObject

[forax at univ-mlv.fr]

> De: "Brian Goetz" <brian.goetz at oracle.com>
> À: "Remi Forax" <forax at univ-mlv.fr>
> Cc: "valhalla-spec-experts" <valhalla-spec-experts at openjdk.java.net>
> Envoyé: Lundi 15 Avril 2019 23:23:57
> Objet: Re: RefObject and ValObject

>> V <: V? by value set inclusion; V? is the type obtained by adjoining `null` to
>> the value set of V.

> Looking for.a better name for this. :”Nullable value types” is a terrible name,
> so I don’t want to say that. (Too confusing with null-default value types.).
> They could properly be define as “null-adjoined value types”, but that’s not
> helpful if you don’t know what an adjunction is. Similarly for “nullable
> projection”.

> But the basic idea is that V? is the denotation of the union type of V | Null.

Ok, i think i got slightly confused about the difference between RefObject and ValueRef? 

Rémi