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, 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 in Präsenz statt, sofern Corona und sonstige Regelungen dies erlauben. Live-Streams und Aufzeichnungen der Vorlesungen sind aus technischen Gründen leider nicht möglich. Stattdessen werden über TUWEL im Vorjahr aufgezeichnete Videos mit den gleichen Inhalten (allerdings ohne Möglichkeit zur aktiven Beteiligung) bereitgestellt. Sollten allgemeine Regelungen eine Abhaltung der Vorlesungen in Präsenz nicht sinnvoll erscheinen lassen, werden Vorlesungen über Zoom stattfinden. In diesem Fall werden Zugangsdaten zu einem solchen Zoom-Meeting wie auch ein Skriptum und Folien in TUWEL zu finden sein. 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 Vorlesungen (in Präsenz oder online)
• 25h: Vertiefung des Stoffs durch eigenständige Recherchen
• 25h: Prüfungsvorbereitung und mündliche Prüfung

In einer mündlichen Prüfung werden die Lernergebnisse auszugsweise überprüft. Prüfungen finden im Büro des Vortragenden in Präsenz statt, wenn Einschränkungen durch Corona und sonstige Regelungen dies auf sinnvolle Weise erlauben. Sind Prüfungen in Präsenz nicht möglich, erfolgen stattdessen Online-Prüfungen über Zoom. 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 bis kurz vor der Prüfung möglich. Für Online-Prüfungen gelten folgende zusätzliche Bedingungen:

• Der Link zum für die Prüfung verwendeten Zoom-Meeting wird bei der Prüfungsanmeldung per Mail bekanntgegeben. 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.
• 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 auf Aufforderung 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.

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.