Functional Programming

(V3 + Ü2, SS 2016)

Type	Times/Room	Instructor
Lecture (3)	Tue 14:15 - 15:45 AH 4	Prof. Dr. Jürgen Giesl
	Wed 10:15 - 11:45 AH 5
Exercise (2)	Tue 12:15 - 13:45 AH 4	Prof. Dr. Jürgen Giesl, David Korzeniewski

News

The results of the second exam are now available in the exercise system. (https://aprove.informatik.rwth-aachen.de/fp16)
Grade Scheme:

4.0 3.7 3.3 3.0 2.7 2.3 2.0 1.7 1.3 1.0

60 66 72 78 84 90 96 102 108 114

Statistics:
3.6 average grade, 3.7 median, 67.2% success rate, 58 participants
The second exam is now available below.

The inspection of the second exam takes place on 6th of October, 15:00-16:00, room 5056. Please adhere to the following time slots to minimize wait times:
- Matriculation Number 000000 - 339999: 15:00-15:30
- Matriculation Number 340000 - 999999: 15:30-16:00

The second exam takes place on Monday, September 19 in Aula 2. Please arrive by 13:15, official begin will be at 13:30.
You need blue or black pens, your student ID (Blue Card) and a photo ID. No additional materials are permitted (i.e., no calculators, books, etc.), also please do not use red or green ink or pencils.

A sample solution to the first exam is now available below.

The results of the first exam are now available in the exercise system. (https://aprove.informatik.rwth-aachen.de/fp16)
Grade Scheme:

4.0 3.7 3.3 3.0 2.7 2.3 2.0 1.7 1.3 1.0

60 66 72 78 84 90 96 102 108 114

Statistics:
2.7 average grade, 2.3 median, 87.7% success rate, 187 participants
The first exam is now available below to help you prepare for the second exam.

Old exams are available below to help you prepare for the second exam.

The inspection of the first exam takes place on 30th of August, 13:00-16:00, room 5056. Please adhere to the following time slots:
- Matriculation Number 000000 - 319999: 13:00-14:00
- Matriculation Number 320000 - 339999: 14:00-15:00
- Matriculation Number 340000 - 999999: 15:00-16:00

The exercise system (https://aprove.informatik.rwth-aachen.de/fp16) now shows if you are admitted for the exam once you log in and select overview.

The first exam takes place on Wednesday, August 17. Please arrive by 15:00, official begin will be at 15:15.
Lecture Hall Assignment:
- Matriculation Number 000000 - 339999: Großer Hörsaal (AM)
- Matriculation Number 340000 - 999999: Grüner Hörsaal (Gr)
You need blue or black pens, your student ID (Blue Card) and a photo ID. No additional materials are permitted (i.e., no calculators, books, etc.), also please do not use red or green ink or pencils.

Corrected exercise submissions may be collected next Tuesday (July 12) between 14:00 and 16:00 in room 4209.

The last lecture was on Wednesday June 22, the last regular exercise class was on Tuesday June 28.

All solutions to exercises have to be submitted on paper, even if there are only programming exercises. Additionally you have to submit solutions to programming exercises via e-mail.

NEW TIMES FOR EXERCISE AND LECTURE ON TUESDAYS: The times of the exercise class and the lecture on Tuesdays have changed to 12:15 - 13:45 and 14:15 - 15:45. A poll has shown that the number of students that benefit from these new times is twice as high as the number of students who have a disadvantage due to the rescheduling.

For the exercises you need to be registered at https://aprove.informatik.rwth-aachen.de/fp16 . (There is no registration for the exercises in Campus Office or L2P.)

To register for the exam, please proceed as follows:
- Students of Bachelor Informatik that want to attend this course as a "vorgezogene Masterprüfung" (Theory) should register for the exam at the ZPA (from 6. - 16.6.2016).
- All other students should register via Campus Office ("modulares Anmeldeverfahren") until May 20, 2016.
There is no separate registration for the lecture.

Course of Studies

This lecture is suitable for the following students:

Bachelor Informatik
- This course can be attended as a "Bachelor-Wahlpflichtveranstaltung" (Theory) for students of Bachelor Informatik.
- Already as a student of Bachelor Informatik, it is also possible to attend this course as a "Master lecture" and to transfer the credits afterwards when enrolling in the Master Informatik program.
Master Informatik
Master Software Systems Engineering (as a Core Subject in Theoretical Foundations of SSE)
Master Mathematik

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.

Language

The course is given in English.

Course Notes

The course notes are available here (in German): Course Notes (version of May 30, 2016)
You can also find inofficial video recordings of the lecture in 2012 provided by Fachschaft I/1 MPI.

Area

Theoretical Computer Science

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.
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, 2007.
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 http://haskell.org/onlinereport/)
S. Peyton Jones: Tackling the Awkward Squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell, Marktoberdorf Summer School 2000. (Available from http://research.microsoft.com/users/simonpj/papers/marktoberdorf)

Transparencies

Here are the transparencies used in the lecture.

Transparency 1 (April 13, 2016)
Transparency 2 (April 13, 2016)
Transparency 3 (April 13 + 19, 2016)
Transparency 4 (April 19, 2016)
Transparency 5 (April 20, 2016)
Transparency 6 (April 26, 2016)
Transparency 7 (April 27, 2016)
Transparency 8 (May 3, 2016)
Transparency 9 (May 4, 2016)
Transparency 10 (May 10, 2016)
Transparency 11 (May 11 + 24, 2016)
Transparency 12 (May 24 + 25, 2016)
Transparency 13 (May 31, 2016)
Transparency 14 (May 31 + June 1, 2016)
Transparency 15 (June 7, 2016)
Transparency 16 (June 8, 2016)
Transparency 17 (June 8, 2016)
Transparency 18 (June 14, 2016)
Transparency 19 (June 21, 2016)

Notes

Here are the notes from the lecture.

0. Motivation (April 13, 2016)
1.1.1 Declarations (April 13 + 19, 2016)
1.1.2 Expressions (April 19, 2016)
1.1.3 Patterns (April 19 + 20, 2016)
1.1.4 Types (April 20 + 26, 2016)
1.2 Higher-Order Functions (April 27 + May 3, 2016)
1.3 Programming with Lazy Evaluation (May 3, 2016)
1.4 Monads (May 4, 2016)
2.1.1 Partially Defined Values (May 10, 2016)
2.1.2 Monotonic and Continuous Functions (Part 1) (May 10 + 11, 2016)
2.1.2 Monotonic and Continuous Functions (Part 2) (May 24, 2016)
2.1.3 Fixpoints (May 24 + 25, 2016)
2.2.1 Construction of Domains (May 25 + 31, 2016)
2.2.2 Semantics of Simple Haskell Programs (May 31 + June 1, 2016)
2.2.3 Semantics of Complex Haskell Programs (June 1 + 7 + 8, 2016)
3.1 Syntax of the Lambda Calculus (June 8, 2016)
3.2 Semantics of the Lambda Calculus (June 8 + 14, 2016)
3.3 Reducing Haskell to the Lambda Calculus (June 14 + 15, 2016)
3.4 The Pure Lambda Calculus (June 15 + 21, 2016)
4.1 Type Schemas and Type Assumptions (June 21, 2016)
4.2 The Type Inference Algorithm (June 21 + 22, 2016)

Exam

There will be a written exam on the lecture. It takes place on August 17, 2016. The second written exam will take place on September 19, 2016.

Exam August 17, 2016 / Solutions

Exam September 19, 2016 / Solutions

To help you prepare, here are the exams used in previous semesters. Please note that there will not be different exams for bachelor and master students this year. Each of these exams took 120 minutes. We put them online so that they can help you when you are preparing for the final exam. We strongly recommend you to solve these exams without looking at the solutions first! It is a good idea to solve these exams also under the conditions of the original exam (i.e., closed book and with a time limit of 120 minutes):

Due to changes in the computer science curriculum, before 2009 there have not been any written exams to determine the final grade for the course "Functional Programming". However, the following old exams were used in earlier semesters for the acquisition of the exercise certificate for students of "Diplom" curricula. Each of these exams took 90 minutes:

Disclaimer

Research Group Computer Science 2

Dept. of Computer Science

4.0	3.7	3.3	3.0	2.7	2.3	2.0	1.7	1.3	1.0
60	66	72	78	84	90	96	102	108	114

4.0	3.7	3.3	3.0	2.7	2.3	2.0	1.7	1.3	1.0
60	66	72	78	84	90	96	102	108	114