TU Wien:Typsysteme VO (Puntigam)/Prüfung 21.02.2014
Zur Navigation springen
Zur Suche springen
Einzelprüfung. Recht lockere Atmosphäre, allerdings fragt Puntigam schon sehr genau nach und stellt viele Verständisfragen. Die Benotung ist aber recht freundlich - wenn man ein paar Sachen nicht beantworten kann, ist das überhaupt nicht tragisch. Fragen:
- Was ist ein Typ?
- Was ist ein Typsystem?
- Typen in Ada: Abgeleitete Typen, class tpyes. Wie funktioniert subtyping? (Antwort: Kovariante Eingangs- und Ausgangsparameter). Ist das Ersetzbarkeitsprinzip erfüllt? (Nein). Wieso funktioniert Ada dennoch (war wohl die "gemeinste" Frage).
- Rekursive Typen: Formel war gegeben und musste im Detail erklärt und Anhand eines Beispiels erklärt werden.
- Higher-order Subtyping, F-gebundene Generizität: Formeln, erklären, kann man damit binäre Funktionen darstellen?