After successful completion of the course, students are able to describe and explain advanced principles and concepts of functional programming and to use them in industrial software projects in practice. Programming tasks of small to medium size and complexity are solved with the help of basic and advanced concepts and principles of functional programming.

Part 1

• Overview/short review of the Haskell2010 basic language, important language extensions and the Haskell "ecosystem" (compiler, build system, software repositories, tools, community)
• Tools of the abstractions in Haskell: functions, (data) types, GADTs, lazyness, type classes, monads & EDSLs
• Metaprogramming with TemplateHaskell, QuasiQuotation & Generics

Part 2

• Understanding and optimization of the runtime characteristics (time & memory requirements) of GHC-Haskell programs
• Scalability in Haskell: parallelization & concurrency
• CloudHaskell
• Compatibility of input/output, side effects & data structure mutation with "pure" functional programming
• Network programming (From simple TCP/IP server to JSON-RPC/HTTP web services)
• Integration of existing C libraries via Foreign Function Interface (FFI)

Part 3

• Design & development of "High Assurance Software" with Haskell
• Utilization of the type system for "correct-by-construction" guarantees by mapping invariants at type level.
• SafeHaskell
• Testing (and verifying) Haskell programs

During the lecture discussions as well as questions on relevant topics are encouraged. Questions concerning the (independent) implementation of the submission project will be discussed either directly in the lecture or afterwards or via email, depending on the degree of general interest.
Relevant development tools, aids and libraries will be continuously presented and demonstrated live.

Effort for the student (ECTS-Breakdown):

Preliminary talk: 1,5 h
Lectures: 7,5 h
Self Study: 11 h
Exercises: 45 h
Final Presentation: 10 h

Total: 75 hours (3 ECTS)

There is a lecture and an exercise part, whereby the assessment is based on a software project carried out independently in small groups (including a short final presentation at the end of the semester).

• "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.