Grundlagen der Programmiersprachen SS 2012 - Folie 514a
Ziele:
Sichere Vereinigung von Wertebereichen
in der Vorlesung:
- Dynamische Typkennung von Werten
- Bezug zu Vererbung in OO-Sprachen
nachlesen:
..., Abschnitt 2.3.2
Übungsaufgaben:
- Entwerfen Sie ein Sprachkonstrukt zur sicheren Fallunterscheidung über vereinigte Typen. Beispiel angeben und Semantik skizzieren.
Verständnisfragen:
- Warum ist auch die discriminated union in Pascal unsicher?
Autor: Prof. Dr. Uwe Kastens
Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 22.03.2012