> There are no null values,

Unbound variables are the equivalent (detected if used, at compile time), but a much saner way to deal with value-less variables