Functional Programming – Advanced Concepts and Applications

Winter Term 2020/21

Lecturer:	Prof. Dr. Till Mossakowski
Language:	English
Hours per Week:	4 SWS lecture and exercises
Credit Points:	5 (plus 1 possible additional CP, for additional exercises)
Study subjects:	BSc INF: WPF Inf BSc CV: WPF Inf BSc IngINF: WPF Inf BSc WIF: WPF Gestalten & Anwenden MSc INF, CSV, IngINF, WIF: Bereich Informatik MSc DKE: Data Processing for Data Science MSc DKE (old): Models MSc DigiEng: Methoden der Informatik

Functional programming in-the-small: lazy evaluation, algebraic data types, type variables and polymorphism, recursion, higher-order functions, cyclic data structures, profiling
Functional programming in-the-large: Modules, Abstract data types, type classes, specifications of properties
Real-world functional programming: actions, states, input/output, monads, automatic testing of functional programs with HUnit and Quickcheck, deep pointers with lenses
Application examples: parser, web development

Please, register till October 28th, 2020 for the course twice,
- in Moodle
- and addionally, in the LSF for the lecture and for an exercise group in order to, where necessary, enable students of a module to be notified of any cases of infection that occur.
All further communication with respect to the course will be made via Moodle.
This page is still under construction.