TU Wien:Typsysteme VO (Puntigam)/Prüfungsbericht Juni 2015

Einzelprüfung

1.1. Was versteht man unter einem Typ? ( => Aufzählen der verschiedenen Definitionen)

1.2. Was versteht man unter einem Typsystem? ( => Menge von Regeln)

2.1. Wie funktioniert Ableitung in Ada allgemein?

2.2. Was passiert dabei mit den Routinen des Obertyps ( => sie werden automatisch vererbt)?

2.3. Was passiert mit den Parametertypen der ererbten Routinen? ( => Kovarianz erklären + Auswirkungen auf das Ersetzbarkeitsprinzip)

2.4. Welches Feature von Ada kann trotzdem für abgeleitete Routinen die Ersetzbarkeit gewährleisten? ( => Invarianz durch klassenweite Typen)

3.1. Typinferenz allgemein erklären

3.2. Typinferenz-Algorithmus erklären ( => hier hat er ziemlich genau nachgefragt, zB wie Unifikation funktioniert und warum der Occurs-Check so teuer ist)

4.1. F-gebundene Generizität und deren Formel erklären

4.2. Beliebiges Beispiel in Java angeben

4.3. Können mit F-gebundener Generizität binäre Routinen abgeleitet werden? ( => ja, am besten anhand des Java-Beispiels erklären)