Polimorfisme (programació): diferència entre les revisions

En un altre exemple, si els naturals, racionals, i enters són tipus tals que Natural:> Racional i Natural:> Enter, una funció escrita per tenir un númeronombre funcionarà igualment bé quan es passa un enter o racional com quan es passa d'un natural. El tipus real de l'objecte es pot amagar dels clients en una "capsa", i s'accedeix a través de la identitat de l'objecte. De fet, si el tipus de nombre és abstracta, és possible que ni tan sols sigui possible per aconseguir les seves mans en un objecte el tipus més derivat sigui natural. Aquest tipus particular de jerarquia de tipus es coneix, especialment en el context del "Llenguatge de programació en Esquema", com una torre numèrica, i en general conté molts més tipus.