Why is the property that static types are checked at compile-time is valuable?

Programs may be expensive/unsafe/destructive to run.

Runtime tests cannot cover all the state space.