Functional Programming with Effects

This is a MSc-level seminar but we also welcome interested BSc students.

Purely functional programs don’t allow side-effects like reading or writing from the console (or network), mutable state, or exceptions. How can those languages then be used to solve real world problems?

In this seminar, we will cover various techniques to structure and program with effectful functional programs. Participants will learn the foundations of computational effects like monads, arrows and applicatives and also more modern algebraic effect handlers. Explicitly structuring programs with computational effects opens up the possibility for equational reasoning. Participants will learn how to instantiate those general concepts for particular use cases like parsing or functional reactive programming.

Entry in the alma-system: Link

Instructors

• Klaus Ostermann
  HeadKlaus Ostermann
• Marius Müller
  ResearcherMarius Müller

Registration

If you want to participate, please send an e-mail with the following data to mari.mueller@uni-tuebingen.de:

• Matrikelnummer
• name
• Studiengang + Abschluss
• Fachsemester
• your student e-mail address

Seminar Structure

This seminar will be conducted as a paper reading group with weekly meetings on Thursday at 12 c.t. in room C111 at Sand.

Each week one of the students is the discussion leader, who familiarizes herself/himself with the paper’s content in greater depth. The other participants should also read the paper, prepare questions, and send them to the discussion leader.

During the session, the discussion leader will summarize the main points of each section, be ready to answer the other participants’ questions, keep the discussion on track, and point out additional insights gained by the in-depth preparation.

At the end of the semester, each participant will write a term paper on the topic prepared as discussion leader. It is also possible to accompany this with some artifact, e.g., a mini software project, that showcases practical applications discussed in the term paper.

First Meeting

We will have our first meeting on Thursday, October 17 at 12 c.t. in room C111 at Sand.

The slides of the first meeting.

Other Information

Discussion Language: English or German (depending on participants)
Paper Language: English
Credits: 3 ECTS

Course Requirements

There are no formal requirements. However, having attended some of the following lectures greatly helps to understand the papers more easily:

• Programming Languages 1
• Programming Languages 2
• Interactive Theorem Proving

Most of the papers use the programming language Haskell or similar functional programming languages. It is thus also very helpful to have some prior exposition to functional programming (and to Haskell) as provided by the lecture Functional Programming (by the group of Torsten Grust).

Information on Reading Papers

In preparation for the seminar, we highly recommend to read the following short papers:

• P. W. L. Fong: Reading a Computer Science Research Paper
• S. Keshav: How to read a paper

Literature

The following is a preliminary list of papers you can choose from. We will read the papers in (roughly) that order. A list with related papers is given below. Note that you need to be in the university network (or VPN) to access some of the papers as PDF. If you can’t find the PDFs you can also try searching on Google-Scholar.

Tentative Schedule

Other related papers