Polymorfi og typesammenlignelighed

Nedarvning - slide 28 : 41

Polymorfi og typesammenlignelighed

Polymorfi betyder mangeformethed.

Med polymorfi kan variable og parametre referere til objekter af mere end én type

Assignmentet v = e er lovligt i typemæssig forstand hvis den statiske type af e er A eller en subklasse af A
Kaldet m(e) er lovligt i typemæssig forstand hvis den statiske type af e er A eller en subklasse af A

Reglerne for typesammenlignelighed er lavet for kunne sikre statisk typecheck efter en konservativ model