> Getting rid of a class of errors (correctness) allows you to focus more on other errors (logical).

I think you mean "memory safety", not "correctness".

Correctness is a much harder target to hit and requires a good deal of time.