Functional Programming

(V3 + Ü2, Summer Semester 2024)

Type	Times/Room	Instructor
Lecture (3)	Mon 16:30 - 18:00 AH5 (starting on April 8)	Prof. Dr. Jürgen Giesl
	Fri 10:30 - 12:00 AH5
Exercise (2)	Fri 14:30 - 16:00 AH5	Jan-Christoph Kassing, Eleanore Meyer

If you have any questions, please contact us via fp24(at)i2.informatik.rwth-aachen(dot)de.

Registration and Moodle Learning Environment

The first lecture is on Monday, April 8, 16:30.
Please register for the course via RWTHonline here.
The Moodle pages for the course contain all necessary information. They can be found here.
A short introductory video is here.

Language

The course is given in English.

Course Notes and Videos

Printed course notes are available (in German): Course Notes (version of March 24, 2024)
Hand-written course notes will be made available after each lecture.
Video recordings from 2021 will also be made available step by step, according to the progress of the lecture.

The course gives an introduction to functional programming using the language Haskell. Moreover, we will discuss models for the semantics and the implementation of functional languages. This also includes techniques for type checking and type inference.

Area

Theoretical Computer Science, Theoretical Foundations of SSE (Core Subjects)

Haskell

In the course, we use the functional programming language Haskell. Information on Haskell can be found on the Haskell home page www.haskell.org. To interpret or compile Haskell programs, one can use the Glasgow Haskell Compiler (GHC). For the lecture, we recommend the interactive mode of the GHC (called GHCi). Haskell can be downloaded here and a simple Windows GUI for GHCi is here.

References

P. Thiemann: Grundlagen der funktionalen Programmierung, Teubner, 1994.
A. Field, P. Harrison: Functional Programming, Addison-Wesley, 1988.
C. Reade: Elements of Functional Programming, Addison-Wesley, 1989.
R. Bird: Thinking Functionally With Haskell, Cambridge University Press, 2014.
R. Bird, J. Gibbons. Algorithm Design with Haskell. Cambridge University Press, 2020.
P. Pepper: Funktionale Programmierung, Springer, 2002.
M. M. T. Chakravarty, G. C. Keller: An Introduction to Computing With Haskell, Pearson, 2002.
Also appeared as "Einführung in die Programmierung mit Haskell", Pearson, 2004.
S. J. Thompson: Haskell: The Craft of Functional Programming, Addison-Wesley, 2011.
G. Hutton: Programming in Haskell, Cambridge University Press, 2016.
B. O'Sullivan, J. Goerzen: Real World Haskell, O'Reilly, 2010.
S. Peyton Jones: The Implementation of Functional Programming Languages, Prentice Hall, 1987.
M. Lipvaca: Learn You a Haskell for Great Good, No Starch Press, 2011.
J. Loeckx, K. Sieber: The Foundations of Program Verification, Wiley-Teubner, 1987.
S. Peyton Jones (ed.): Haskell 98 Languages and Libraries: The Revised Report. Cambridge University Press, 2003. (Available from https://haskell.org/onlinereport/. Haskell 2010 Report is available here.)
S. Peyton Jones: Tackling the Awkward Squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell, Marktoberdorf Summer School 2000.

Disclaimer

Research Group Computer Science 2

Dept. of Computer Science