Yeah, it was super weird how the subject migrated from programming theory to a rant about stack overflow.

On the actual topic, I think a good compromise is what typescript and I think rust do, which is, a value is only nullable if you explicitly declare it as such. It forces you to be judicious, while still allowing you the option when you need it.