Nummer

INF3187
Titel

Effective Programming with Effects
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 Unregelmäßig
Unterrichtssprache Englisch
Prüfungsform

Bewertung des Praktikumsergebnisses

Lehrform(en) Praktikum
Inhalt

Das Ziel dieses Praktikums ist es, das Programmieren mit algebraischen Effekten und Handlern kennenzulernen. Effektsysteme unterstützen die Entwicklung korrekter Software, Effektbehandlung ermöglicht eine sinnvolle Strukturierung von komplexem Kontrollfluss. Im Rahmen des Praktikums programmieren Studierende in der am Lehrstuhl entwickelten Forschungssprache "Effekt". Die erlernten Konzepte sind jedoch universell anwendbar und können zur Strukturierung von Programmen unabhängig von der verwendeten Programmiersprache genutzt werden und dienen so zum Beispiel als mentales Modell für verbreitete Bibliotheken wie "React" oder "Pyro".

Der erste Teil des Semesters konzentriert sich auf das Verständnis der verschiedenen Aspekte von algebraischen Effekten und Handlern durch praktische Programmieraufgaben. Anschließend wählen die Studierenden in Absprache mit dem Veranstalter ein Thema aus und entwickeln im zweiten Teil des Semesters selbstständig ein Softwareprojekt, wobei sie ihr erworbenes Wissen in realistischen Szenarien anwenden.

Wichtige Vorabinformation:
Studierende, die dieses Praktikum belegen möchten, sollten folgende Veranstaltung erfolgreich absolviert haben:
- INFM1110 Praktische Informatik 1: Deklarative Programmierung
- INFM1120 Praktische Informatik 2: Imperative und objektorientierte Programmierung
- INFM2111 Praktische Informatik 3: Software Engineering

Qualifikationsziele

Die Teilnehmer erhalten ein umfassendes Verständnis der theoretischen Grundlagen und praktischen Auswirkungen von Effekten und Handlern. Sie werden die Fähigkeit entwickeln, diese Konzepte effektiv zu nutzen, um Softwarelösungen zu entwerfen und zu implementieren. Darüber hinaus verbessern die Teilnehmer ihre Kommunikationsfähigkeiten, indem sie Lösungsansätze formulieren und sich an Diskussionen über die Anwendung und die Auswirkungen von Effekten und Handlern beteiligen.

Vergabe von Leistungspunkten/Benotung
Lehrform
Status
SWS
LP
Prüfungsform
Prüfungsdauer
Benotung
Berechnung
Modulnote (%)
Teilnahmevoraussetzungen Es gibt keine besonderen Voraussetzungen.
Dozent/in Brachthäuser
Literatur / Sonstiges

-

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