In a way dynamic typing is easy and static typing a la Haskell is pretty hard. A good type system allows you to reason more easily about your system and checks

In a way dynamic typing is easy and static typing a la Haskell is pretty hard. A good type system allows you to reason more easily about your system and checks if you're violating the rules of the system. Looking at static typing and only see inheritance and the increased complexity, is only looking at static typing a la C++/Java.