Most of what i wrote in the L10/L20 memo is accurate :)
> On Apr 15, 2019, at 5:32 PM, fo...@univ-mlv.fr wrote:
>
>
>
> De: "Brian Goetz" <brian.go...@oracle.com>
> À: "Remi Forax" <fo...@univ-mlv.fr>
> Cc: "valhalla-spec-experts" <valhalla-spec-experts@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
>
>
>
