Null reference errors are examples of errors that can be caught before runtime by a static type system. The fact that static type systems like Java don't catch

Null reference errors are examples of errors that can be caught before runtime by a static type system. The fact that static type systems like Java don't catch this is evidence that static vs. dynamic is not a binary - some static type systems are better than others.