RefObject and ValObject

Brian Goetz brian.goetz at
Mon Apr 15 21:23:57 UTC 2019

> 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.  

More information about the valhalla-spec-observers mailing list