Muchos lenguajes de programación permiten definir tipos que pueden contemplar un valor nulo como parte de los valores del tipo, diferente a todos los demás.