[tmhedberg]

There are plenty of strongly, statically typed languages which do not have this problem because they have parametric polymorphism, i.e. generics.