TU Wien:Typsysteme VO (Puntigam)/Pruefungsbericht 08.03.2012

Wir sind zu viert angetreten, jeder hat jeweils vier Fragen bekommen. Wenn man die Antwort nicht weiss, so wird diese Frage moeglicherweise weitergegeben und man bekommt eine weitere Frage. Anscheinend ist es nicht so schlimm, wenn man fuer die ein oder andere Frage keine Antwort parat hat.

1. Fragerunde

Jeder musste eine Definition vom Begriff "Typ" sagen.

2. Fragerunde

(1) Abgeleitete Typen in Ada

(2) Unterbereichstypen in Ada

(4) Tagged Types

3. Fragerunde

(1) Wie schaut es mit Ersetzbarkeit in Ada aus?

(2) Wann braucht man in Ada dynamisches Binden? (klassenweite Typen)

(3) Warum reicht in Ada Single Dispatching aus?

(4) Multiple Dispatch

4. Fragerunde

(1) Formel für Subtyping von Verbunden war gegeben und man musste Fragen dazu erklären

(2) Ein konkretes Beispiel (bzgl. (1)) musste ausgerechnet werden (ist Untertyp oder nicht)

(3) Typinferenzalgorithmus

(4) Komplexitaet vom Typinferenzalgorithmus. Welcher Sonderfall kann zur exponentielle Laufzeit fuehren?

5. Fragerunde

(1) F-Gebunde Generizitaet (Formel)

(2) Formel fuer Higher Order Subtyping

(3) Anwenden von Higher Order Subtyping auf ein Beispiel

(4) Wie schaut es mit bei F-Gebunde Generizitaet in Verbindung mit Vererbung, binaere Methoden und Ersetzbarkeit aus?