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

Reply via email to