In what languages references are non-nullable by default?

Out of interest, I want to read about languages that are designed like this. Haskell is one, right?

I am talking about languages that does this, but also has compiler support to catch issues like if it's nullable, then you have to have appropriate cases, handling to compile, etc.

Also is it only a concept that's in functional programming? Does it also exist in some OO languages?