Sure, in theory static typing can catch bugs. But doing it like Java does it is a lot of work per real bug actually caught.