Typ-Zusicherungen

Eine Typzusicherung sichert zu, daß der dynamische Typ einer Variablen eine Erweiterung eines gegebenen Typs ist.

Wenn die Typzusicherung zur Laufzeit nicht erfüllt ist, gibt es einen Laufzeitfehler.

Ist die Typzusicherung erfolgreich, so läßt sich die Variable so behandeln, als würde ihr statischer Typ dem angegebenen Typ entsprechen.

Dies ermöglicht insbesondere den Zugang zu den Komponenten der entsprechenden Erweiterung:

(* draw a circle *) DrawCircle(go(Circle)); (* access radius component of go *) diameter := go(Circle).radius * 2;

	Eine Typzusicherung sichert zu, daß der dynamische Typ einer Variablen eine Erweiterung eines gegebenen Typs ist.
	Wenn die Typzusicherung zur Laufzeit nicht erfüllt ist, gibt es einen Laufzeitfehler.
	Ist die Typzusicherung erfolgreich, so läßt sich die Variable so behandeln, als würde ihr statischer Typ dem angegebenen Typ entsprechen.
	Dies ermöglicht insbesondere den Zugang zu den Komponenten der entsprechenden Erweiterung: