Nummer

INF3186
Titel

Programmieren mit Abhängigen Typen
Art der Vorlesung

Wahlpflicht
ECTS 6
Arbeitsaufwand
- Kontaktzeit
- Selbststudium
Arbeitsaufwand:
180 h
Kontaktzeit:
60 h / 4 SWS
Selbststudium:
120 h
Veranstaltungsdauer 1 Semester
Häufigkeit des Angebots Im Wintersemester
Unterrichtssprache Deutsch und Englisch
Prüfungsform

Bewertung des Praktikumsergebnisses

Lehrform(en) Praktikum
Inhalt

Typsysteme helfen Programmierern, Eigenschaften von Programmen über alle Ausführungen des Programms hinweg sicherzustellen. Je ausdrucksstärker das Typsystem ist, desto mehr Eigenschaften lassen sich auf diese Weise abdecken. Eine besonders ausdrucksstarke Klasse von Typsystemen sind solche mit abhängigen Typen. Bei diesen kann der Typ von Programmen von konkreten Laufzeitwerten abhängen. Das Programmieren in solchen Programmiersprachen erfordert theoretisches Wissen und vor allem praktische Erfahrung. Beides wird in diesem Praktikum vermittelt.

Qualifikationsziele

Die Studierenden wissen, was eine Programmiersprache mit abhängigen Typen ausmacht, welche zusätzliche Ausdrucksstärke auf der Typebene verfügbar ist und können diese praktisch in konkreten Programmen nutzen. Sie erkennen, welche Eigenschaften des Programms durch abhängige Typen sichergestellt werden können und welche Fehlerquellen vermieden werden können. Sie verstehen auch, welcher zusätzliche Aufwand dazu betrieben werden muss und können so eine informierte Entscheidung über die Nutzung einer Programmiersprache mit abhängigen Typen treffen.

Vergabe von Leistungspunkten/Benotung
Lehrform
Status
SWS
LP
Prüfungsform
Prüfungsdauer
Benotung
Berechnung
Modulnote (%)
Teilnahmevoraussetzungen INFM1110 Praktische Informatik 1: Deklarative Programmierung
Dozent/in Brachthäuser
Literatur / Sonstiges

-

Zuletzt angeboten nicht bekannt
Geplant für Wintersemester 2023
Zugeordnete Studienbereiche BIOINFM2510, INFM2510, INFM3110, MDZINFM2510, MEINFM3210