Static typing doesn't have to force you to fix them now, just statically-enforced typing. An ideal (and achievable) language would be capable of checking types statically but still allow you to run programs that contain type errors.

I know virtually every static type system in use today doesn't do this, but it still bothers me when people just give up and advocate dynamic typing for this reason.