Moving from VVT to the L-world value types (LWVT)

John Rose john.r.rose at
Mon Feb 26 23:41:16 UTC 2018

On Feb 20, 2018, at 9:13 PM, Ali Ebrahimi <ali.ebrahimi1781 at> wrote:
> Why not have new NonNullable marker interface for marking (new/legacy) value types. We can have nullable and non-nullable types. 
> New (true) value types can implements NonNullable interface by default. By this we can support non-nullable reference types later if want.

If you were to develop this idea into a full proposal, I think you'd find
an unsatisfactory number of limitations and paradoxes.  Nullability
is a lattice cofactor, not an inheritance root.
— John

More information about the valhalla-dev mailing list