必ずしも安全でない操作であることをプログラマに意識させることに役立ってるじゃないか
お前がそこでイラッとしたのがまさにその証拠だろ?
nullがタイプセーフじゃないのは典型的な普通の静的言語の大きな欠陥として昔から言われてることで、
そもそもそこが問題だと思うならHaskellとかガチな静的型に行くと幸せになれる