Diese Seite auf Deutsch  Research Group Computer Science 2  Dept. of Computer Science RWTH

Functional Programming

(V3 + Ü2, SS 2016)

LuFG Informatik 2
Type Times/RoomInstructor
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


Course of Studies

This lecture is suitable for the following students:

Contents

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


Exercises

The exercises have to be solved in groups of four. 50% of the points on the exercise sheets are needed in order to take part in the final exam.

In order to take part in the exercises, please sign up here.

The exercise sheets can be downloaded here.


Transparencies

Here are the transparencies used in the lecture.

Notes

Here are the notes from the lecture.

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 RWTH