The more time I spend with strongly typed languages the more I am convinced it is the right way to go. For modern languages with good type inference, and good

The more time I spend with strongly typed languages the more I am convinced it is the right way to go. For modern languages with good type inference, and good tools for protocols/interfaces not tied to an inheritance hierarchy, it is a at worst minor inconvenience for a huge benefit.