> Is the value of static type checking worth giving up the power of pure polymorphism at runtime?<p>> Polymorphism is the ability to send a message to an object without knowing what its type is.<p>This reads like it was written by a person who's only ever used Java and Ruby.