TU Wien:Typsysteme VO (Puntigam)/Prüfung 21.02.2014

Aus VoWi
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?
Abgerufen von „https://vowi.fsinf.at/index.php?title=TU_Wien:Typsysteme_VO_(Puntigam)/Prüfung_21.02.2014&oldid=79952“