The way I see it, static typing covers only a very small fraction of errors. Otherwise, we wouldn't need runtime errors.