Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage, fortgeschrittene Prinzipien und Konzepte funktionaler Programmierung zu beschreiben und zu erläutern und diese in
industriellen Softwareprojekten praktisch anzuwenden. Dabei werden Programmieraufgaben kleiner bis mittlerer Größe und Komplexität mithilfe grundlegender und fortgeschrittener Konzepte und Prinzipien funktionaler Programmierung sachlich und fachlich angemessen gelöst.

Teil 1

• Überblick/Kurzwiederholung der Haskell2010 Grundsprache, wichtiger Spracherweiterungen und des Haskell "Ökosystems" (Compiler, Build-System, Software Repositories, Tools, Community)
• Werkzeuge der Abstraktionen in Haskell: Funktionen, (Daten)typen, GADTs, Lazyness, Typklassen, Monaden & EDSLs
• Metaprogrammierung mit TemplateHaskell, QuasiQuotation & Generics

Teil 2

• Verständnis und Optimierung der Laufzeiteigenschaften (Zeit- & Speicherbedarf) von GHC-Haskell Programmen
• Skalierbarkeit in Haskell: Parallelisierung & Nebenläufigkeit
• CloudHaskell
• Vereinbarkeit von Ein/Ausgabe, Seiteneffekte & Datenstrukturmutation mit "reiner" Funktionaler Programmierung
• Netzwerkprogrammierung (Vom einfachen TCP/IP Server zu JSON-RPC/HTTP Web-Services)
• Einbindung bestehender C-Libraries mittels Foreign Function Interface (FFI)

Teil 3

• Design & Entwicklung von "High Assurance Software" mit Haskell
• Ausnutzung des Typsystems für "correct-by-construction" Garantien durch Abbildung von Invarianten auf Typebene.
•  SafeHaskell
• Testen (und Verifizieren) von Haskell Programmen

Während der Vorlesung werden Diskussionen als auch Fragen zu relevanten Themen ermutigt. Fragen bezüglich der (selbständigen) Umsetzung des Abgabgeprojekts werden je nach grad des allgemeinen Interesses entweder direkt in der Vorlesung besprochen oder im Anschluss dieser bzw. per Email.
Relevante Entwicklungswerkzeuge, Hilfsmittel und Bibliotheken werden laufend vorgestellt und live vorgeführt.

Bei Fragen wenden Sie sich bitte an teaching@inso.tuwien.ac.at.

Aufwandsschätzung (ECTS-Breakdown):

• Vorbesprechung: 1,5 h
• Vorlesungen (5 Einheiten à 2 Stunden): 7,5 h
• Eigenrecherchen: 11 h
• Übungsbeispiele: 45 h
• Abschlußpräsentation (inkl. Vorbereitung): 10 h

--------------------------------------------------- 

Summe: 75 Stunden (3 ECTS)

Es gibt einen Vorlesungs- und einen Übungsteil, wobei die Bewertung aufgrund eines in Kleingruppen selbständig durchgeführten Softwareprojekts (inkl. kurzer Abschluspräsentation am Ende des Semesters) basiert.

• "Learn You a Haskell for Great Good!"
•  "Real World Haskell"
• "C9 Lectures: Erik Meijer - Functional Programming Fundamentals"

Um dieser LVA leichter folgen zu können, werden Grundkenntnisse der Haskell Programmiersprache dringend empfohlen, die beispielsweise durch Besuch der VU "Funktionale Programmierung" oder alternativ durch Selbststudium der Literaturempfehlungen erlangt werden können.