What’s the point? Yes Null can have meaning. Even from a purely mathematical standpoint it increases the entropy of a value, and thus provides more information.

What’s the point? Yes Null can have meaning. Even from a purely mathematical standpoint it increases the entropy of a value, and thus provides more information. I don’t think anyone is arguing that. But if you don’t explicitly expose that additional entropy/information to the programmer and type system, the meaning vanishes. If every Value can have this additional type, we lose the semantic understanding we would get by seeing that a particular method returns a “bool?” rather than a “bool”, and instead we are forced to either assume everything is a “bool?” and add a bunch of unnecessary checks, or assume nothing is, and miss out on whatever extra value a nullable give us. This is again very uncontroversial.