You could always try C#. They have a non-null compile mode where variables are non-nullable by default. They did the work to mark up core libraries and also h

You could always try C#. They have a non-null compile mode where variables are non-nullable by default. They did the work to mark up core libraries and also have some pragmatic handling of olde nullable calls in 3rd party libraries.