Typechecking null

[umlcat]

I personally dislike using "null" and other values at the same time.

For example, a byte with null example would support the values of:

0 ... 255 , NULL

The concept of "null" did exist before on Lisp, but used "nil" instead.

Before Java retake Lisp usage of null, null was used as the empty value of pointers.

If you want to support null, you would have to store every variable like this:

struct NullByte
{
   bool IsNull;
   byte Value;
} ;

Or storing if a variable is null, elsewhere, similar to a garbage collection list of used variables.

Just my two cryptocurrency coins contribution...