Advanced functional programming

This course builds upon knowledge gained in the introductory courses on functional programming and languages and compilers.
Using Haskell as our language of choice, several advanced functional programming techniques, patterns, libraries and tools are treated.
One goal of this course is to equip you with sufficient knowledge in order to participate in research projects in this field.
Some of the topics that the course covers are: development tools, data structures, monads, type families, existential types and higher rank polymorphism.

Course form
Lectures, tutorials.

Literature
To be announced.

At the end of the course, the student will

• be able to use a wide range of Haskell tools and libraries
• know how to structure and write large programs
• be proficient in the theoretical underpinnings of FP such as lambda calculus and type systems
• be able to understand formal texts and research papers on FP language concepts
• be familiar with current FP research

Assessment

To qualify for a repair of the final result the mark needs to be at least a 4, or “AANV”.

Prerequisites
Basic experience with a functional programming language, such as Haskell.

You must meet the following requirements

• Assigned study entrance permit for the master