2 ms·

Static typing can alleviate that, and that's how Haskell does. The problem with C is that nullability is not statically typed.