Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage

• Gründe für die Verwendung von Typen in Programmiersprachen aufzuzählen,
• unterschiedliche Arten von Typen in Programmiersprachen zu beschreiben,
• von Compilern zur Typüberprüfung verwendete formale Regelsysteme in groben Zügen zu skizzieren,
• unterschiedliche Arten von Typen hinsichtlich ihrer wichtigsten Möglichkeiten und Grenzen zu vergleichen.

• Bedeutung von Typen in Programmiersprachen
• Klassifikation von Programmiersprachen an Hand von Typsystemen
• einfache theoretische Typmodelle
• Typen in imperativen Sprachen (hauptsächlich Ada)
• theoretische Modelle polymorpher Typsysteme und Typinferenz
• Sprachen mit polymorphen Typsystemen
• Subtyping
• Generizität
• Typen als partielle Spezifikationen von Objektverhalten
• Verwendung polymorpher Typsysteme in der objektorientierten Programmierung
• aktuelle Trends

"Typsysteme" ist eine Vorlesung klassischen Stils, also ein wöchentlich stattfindender Vortrag (Corona-bedingt online), aufgelockert durch aktivierende Maßnahmen wie Fragen und kurze Diskussionen. Nach einem Themenüberblick und einer Einführung in die Terminologie folgen zyklisch wiederholt (1) praktische Erfahrungen, (2) darauf aufbauende formale Modelle und (3) typische Anwendungen der Modelle zur Typüberprüfung, die wieder zu praktischen Erfahrungen führen. Zur Vorbereitung auf die Vorträge und die abschließende Prüfung werden eigenständige Recherchen (unter Zuhilfenahme des Skriptums) erwartet.

Vorlesungen finden online über Zoom statt. Entsprechende Zugangsdaten sowie ein Skriptum und Folien finden Sie in TUWEL. Bitte melden Sie sich rechtzeitig in TISS zur Lehrveranstaltung an, da Sie erst nach der Anmeldung Zugang zu TUWEL erhalten.

ECTS-Breakdown:

3 ECTS = 75 Stunden

• 25h: Teilnahme an Online-Vorlesungen
• 25h: Vertiefung des Stoffs durch eigenständige Recherchen
• 25h: Prüfungsvorbereitung und mündliche Prüfung

In einer Online-Prüfung werden die Lernergebnisse auszugsweise überprüft. Sobald Corona-bedingte Einschränkungen aufgehoben sind, können Online-Prüfungen durch mündliche Präsenzprüfungen ersetzt werden. Für Online-Prüfungen wird Zoom verwendet. Es gelten folgende Bedingungen:

• Anmeldungen und Terminvereinbarungen erfolgen per Mail. Generell werden Prüfungen jeden Montag (außerhalb der vorlesungsfreien Zeit) von 10 bis 11 Uhr angeboten, können aber auch zu anderen Zeiten vereinbart werden. Die Prüfungsanmeldung muss mindestens 14 Tage vor dem Prüfungstermin erfolgen. Abmeldungen sind jederzeit bis kurz vor der Prüfung möglich.
• Der Link zum für die Prüfung verwendeten Zoom-Meeting wird über TUWEL zu finden sein. Zur Abwicklung der Prüfung ist ein Computer (z.B. Laptop) mit Mikrofon und Kamera nötig. Bitte achten Sie darauf, dass der Browser (nur Chrome) oder die Zoom-Software die nötigen Zugriffsrechte auf Mikrofon und Kamera hat. Steigen Sie zum Zeitpunkt, an dem die Prüfung angesetzt ist, in das Meeting ein (siehe die Anleitung unter https://colab.tuwien.ac.at/pages/viewpage.action?pageId=11634937).
• Absolvieren Sie die Prüfung in einem Raum, in dem Sie ungestört sind. In der nächsten Umgebung dürfen sich nur Gegenstände befinden, die Sie auch bei einer normalen mündlichen Prüfung verwenden dürfen (z.B., Ausweis, leeres Papier, Stift, Trinkglas) sowie die für die Online-Prüfung benötigten technischen Einrichtungen, sonst nichts (vor allem keine Handys oder Skripten). Außerhalb des unmittelbaren Arbeitsbereichs können sich beliebige Gegenstände befinden. Es dürfen sich keine anderen Personen im Raum aufhalten.
• Wenn Sie zur Prüfungsbeobachtung eine weitere Person hinzuziehen wollen, geben Sie die Zugangsdaten bitte weiter und ersuchen Sie diese Person, ebenfalls zum Zeitpunkt des Prüfungsbeginns ins Zoom-Meeting einzusteigen. Geben Sie zu Beginn der Prüfung bekannt, falls Sie noch auf jemanden warten, damit die Prüfung nicht durch den späteren Einstieg einer weiteren Person gestört wird. Studierender und Prüfer können jeweils eine weitere Person zur Beobachtung einladen, aber nicht mehrere, um die Übersicht nicht zu leicht zu verlieren. Mikrofon und Kamera von Beobachtern sollen ausgeschaltet bleiben.
• Zu Beginn der Prüfung müssen Sie Ihren Ausweis (Studierendenausweis bevorzugt) in die Kamera zeigen und auch Ihre Arbeitsumgebung herzeigen (indem Sie die Kamera bzw. den Laptop entsprechend den Anweisungen im Raum bewegen).
• Wie bei jeder mündlichen Prüfung müssen Sie die gestellten Fragen beantworten. Da jedoch die Bild- und Tonqualität vermutlich nicht immer ideal und daher die Gestik nicht stets zweifelsfrei erkennbar ist, müssen Sie damit rechnen, dass Wiederholungen von Fragen und Antworten nötig sein können und möglicherweise zusätzliche Fragen gestellt werden. Stellen Sie sich darauf ein, dass eine Prüfung aus diesen Gründen auch länger als veranschlagt dauern kann.
• Wenn eine Frage aufgrund der Bild- und Tonqualität nicht verständlich war, fragen Sie bitte nach. Wenn die Verbindung überhaupt abbricht, steigen Sie wieder neu mit den gleichen Zugangsdaten ein. Sollte auch das nicht funktionieren, schreiben Sie dem Prüfer bitte eine Mail. In diesem Fall wird die Prüfung zu einem späteren, getrennt vereinbarten Termin fortgesetzt.
• Bild- und Tonaufzeichnungen der Prüfung sind nicht vorgesehen. Sollten doch Aufzeichnungen gewünscht werden, ist das vor der Prüfung schriftlich (per Mail) gegenseitig zu vereinbaren; andernfalls sind Aufzeichnungen verboten.
• Falls eine Online-Prüfung aufgrund besonderer Umstände nicht sinnvoll durchführbar ist, kann auch eine normale mündliche Präsenzprüfung ablegt werden, sofern zum Prüfungszeitpunkt gültige Hygienevorschriften dies erlauben. Auf gleiche Weise kann eine spätere Fortsetzung einer wegen technischer Probleme abgebrochenen Online-Prüfung als mündliche Präsenzprüfung vereinbart werden.

Skriptum und Folien sind in TUWEL zu finden.

Es wird erwartet, dass Studierende vor Absolvierung der Lehrveranstaltung gute praktische Programmierkenntnisse in stark typisierten objektorientierten (und im Idealfall auch funktionalen) Programmiersprachen haben und dadurch Erfahrung im statischen Umgang mit Typen mitbringen.