Pros and cons of static type systems