> 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
