I do agree that Java-style types aren't of much value. That catches few errors at significant cost.
Incidentally, right now this is a few positions above this posting:
Better IDE support, a kind of self-documentation and increased performance come to mind. I know there are counter-examples for each of these points, but the general trend cannot be denied.