static type systems--as their name suggests--implicitly constrain the … static type systems tend to ossify programs, making … wants to modify one aspect of a system, … [e.g., due to overloading by subclasses].
Google-1
Google-2
Copyright clearance needed for quotation.