RefObject and ValObject

forax at forax at
Mon Apr 15 21:32:41 UTC 2019

> De: "Brian Goetz" <brian.goetz at>
> À: "Remi Forax" <forax at>
> Cc: "valhalla-spec-experts" <valhalla-spec-experts at>
> 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? 


More information about the valhalla-spec-observers mailing list