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

Die Prüfung war sehr fair und Prof. Puntigam versucht einen bei den Antworten auf die richtige Fährte zu führen.

Es empfiehlt sich das Skriptum genau durchzulernen und die Fragen aus den Prüfungsordnern hier durchzugehen, es kommen nahezu dieselben. Es wird sehr auf Verständnis geprüft.

Die folgenden Fragen (wir waren zu 2.) wurden gestellt:

• Was ist ein Typ? (hier wirklich alle definitionen, vor allem mit speicherbedarf...)

• Was ist ein Typsystem?

• Was ist ein Unterbereichstyp?

• Was können diese Einschränken (Range, Precision etc.)?

• Was ist ein abgeleiteter Typ? (ersetzbarkeit bei abgeleiteten typen --> gibt es in ADA nicht bei abgeleiteten typen)

• Was ist ein Tagged Record?

• Was ist ein klassenweiter Typ?

• Wann wird in Ada dynamisch gebunden - welcher Typ ist der definierte Eingangstyp der Methodensignatur, welcher der Typ der an die Methode übergeben wird (Definierter Typ der Methodensignatur: Spezifischer Typ, Übergebener Typ: Klassenweiter Typ t'Class)?

• Subtyping für rekursive Typen erklären, an Hand des Beispiels aus dem Skriptum (Subtyping Regel für rekursive Typen -> Verbundtypen -> Funktionstypen - in dieser Reihenfolge)

• Higher order Subtyping erklären

• F-Gebundene Generizität erklären

• Typinferenz Algorithmus - Den Teil für die Abstraktion (Lambda x . e) erklären

Wir konnten einige detaillierte Fragen nicht zu 100% beantworten und haben dennoch beide ein S1 bekommen.