Moving from VVT to the L-world value types (LWVT)
john.r.rose at oracle.com
Mon Feb 26 23:41:16 UTC 2018
On Feb 20, 2018, at 9:13 PM, Ali Ebrahimi <ali.ebrahimi1781 at gmail.com> 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.
More information about the valhalla-dev