Ziele:
Übersicht zu Typanalyseaufgaben in statisch typisierten Programmiersprachen

im Vorlesungsteil:
Erläuterungen anhand von Core-Beispielen

nachlesen:
Abschnitt Datentypen im GdP-Skript; Abschnitt Typanalyse im Übersetzer-Skript (U-40 bis U-43)

Verständnisfragen:

Geben Sie nichttriviale Beispiele für
• Restriktionen zum Typ eines Ausdruckes,
• Restriktionen in Typangaben,
• Typgleichheit,
• Typverträglichkeit.