And you will end up with monads anyway in FP which probably are about as error prone as missing null checks.

Many compilers warn about potential null problems as well.