Geef een omschrijving van het begrip subtype

  • Een type S is een subtype van type T (notatie S=<T), als S coërceerbaar is naar T. Zo is ook een deelverzameling van T altijd een subtype van T. Dit impliceert dat alle operaties die toepasbaar zijn op waarden van T, ook toepasbaar zijn op waarden van S

    Rapporteer Plaats commentaar