Functional Programming

(V3 + Ü2, SS 2021)

Type	Times/Room	Instructor
Lecture (3)	Mon 16:30 - 18:00	Prof. Dr. Jürgen Giesl
	Tue 10:30 - 12:00
Exercise (2)	Mon 10:30 - 12:00	Marcel Hark, Jera Hensel, Fabian Meyer

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

Registration and Moodle Learning Environment

The first lecture is on Tuesday, April 13, 10:30.
The lecture and exercise course take place live via Zoom.
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 here (in German): Course Notes (version of March 24, 2021).
Hand-written course notes will be made available after each lecture.
Video recordings will also be made available after each 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.

Exercises

Due to RWTHmoodle being down you can find the seventh exercise sheet and the solution for the sixth exercise sheet here.

Exercise 7
Exercise 6 (Solution)

Notes

Due to RWTHmoodle being down you can find the notes from the lecture for Subsections 3.1-3.3 here.

3.1 Syntax of the Lambda Calculus
3.2 Semantics of the Lambda Calculus
3.3 Reducing Haskell to the Lambda Calculus

Transparencies

Due to RWTHmoodle being down you can find the transparencies from the lecture for Subsections 3.1 and 3.2 here.

Slide 17: Lambda Calculus
Slide18: Delta Rules and Translation of Haskell

Videos

Due to RWTHmoodle being down you can find the links to the videos for Lecture 16-18 here.

Lecture 16: 2.2.3. Semantic of Complex Haskell and 3.1. Syntax of the Lambda Calculus
Lecture 17: 3.2. Semantics of the Lambda Calculus
Lecture 18: 3.2. Semantics of the Lambda Calculus and 3.3. Reducing Haskell to the Lambda Calculus

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). To this end, we recommend to download the Haskell Platform.

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. (Available from https://research.microsoft.com/users/simonpj/papers/marktoberdorf)

Disclaimer

Research Group Computer Science 2

Dept. of Computer Science