El polimorfismo en Java tiene dos tipos: polimorfismo de tiempo de compilación (enlace estático) y polimorfismo de tiempo de ejecución (enlace dinámico). La sobrecarga de métodos es un ejemplo de polimorfismo estático, mientras que la anulación de métodos es un ejemplo de polimorfismo dinámico. Un ejemplo importante de polimorfismo es cómo una clase principal se refiere a un objeto de clase infantil. De hecho, cualquier objeto que satisfaga más de una relación IS-A es de naturaleza polimórfica. Por ejemplo, consideremos una clase Animal y dejemos que Cat sea una subclase de Animal. Entonces, cualquier gato ES animal. Aquí, Cat satisface la relación IS-A para su propio tipo y su súper clase Animal.
"La honestidad por las cosas pequeñas no es algo menor"