One of the greatest boons of static typing is formal documentation of data structures and interfaces. Catching errors early is a bonus :)