Bewertung des Praktikumsergebnisses

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

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.

-