Объясните концепцию полиморфизма по типам в объектно-ориентированном программировании.