Typsysteme (OO)

in ,,klassischen`` OO-Sprachen (C++) deklariert eine Typdeklaration (class) gleichzeitig:

• einen konkreten Typ T (Menge der Attribute)

  ...auch als Basis für Ableitungen (mehr Attribute)

• eine Schnittstelle S (Menge der Methoden)

  ...auch als Basis für Ableitungen (mehr Methoden)

• die Behauptung, daß T die Schnittstelle S implementiert

Bei unvorsichtigem Gebrauch entsteht großes Durcheinander

$\to$ einzelne Aspekte trennen!