Type Systems ist eine integrierte Veranstaltung, in der die Grundlagen von Typ Systemen vermittelt werden. Der Fokus der Veranstaltung liegt in der Theorie, d.h. wir konzentrieren uns vor allem darauf wie man Typ Systeme bildet, was sie können und wie man zeigt, dass sie korrekt sind. Wir schauen uns auch an, welche Schwierigkeiten die Implementierung bestimmter Typ Systeme machen können und wie man diese umgeht. Die Implementierung selbst ist jedoch nicht im Fokus.
Lehrinhalte:
Typsysteme bieten einen effizienten Weg, um die korrekte Funktionsweise von Programmen zu garantieren, bevor diese überhaupt gestartet werden. Es gibt sie in den verschiedensten Ausprägungen: als Standard-Konstrukt und Teil einer Programmiersprache oder speziell für bestimmte Anwendungen entworfen.
Voraussetzungen:
Informatik- und Mathematikkenntnisse entsprechend den ersten 4 Semestern des Bachelorstudiengangs Informatik, insbesondere grundlegende Logikkenntnisse und Fähigkeit, mit formalen Sprachen und Kalkülen umzugehen.
Offizielle Kursbeschreibung:
Typsysteme sind integraler Bestandteil vieler Programmiersprachen und ein wichtiger Grundbaustein der Verifikation. Dieser Kurs liefert eine Einführung in Typsysteme. Es werden die grundsätzliche Konzepte, Stärken und Grenzen von Typsystemen diskutiert.
Turnus:
Der Kurs findet im Wintersemester statt.
Sprache:
Der Kurs findet in Englisch statt.
Alle Informationen zu dem Kurs gibt es im Moodle (Lernprotal Informatik, Wahlbereich).
