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 |