[tene]

This is false. There are plenty of languages without pervasive implicit nullability. Check out Haskell and Rust and Ocaml.

[creakingstairs]

You are right. I should have said some. The point I wanted to make was that having type safety is better for checking null than having no type at all.