Typzusicherung

• Objekten kann ein speziellerer Typ zugesichert werden

• Syntaktisch steht in runden Klammern der Typ, der zugesichert werden soll

• Typzusicherung wird dynamisch zur Laufzeit geprüft

• Typzusicherung kann scheitern mit Ausnahmefall