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

Functional Programming

(V3 + Ü2, SS 2014)

LuFG Informatik 2
Type Times/RoomInstructor
Lecture (3)Tue 16:15 - 17:45 AH 3 Prof. Dr. Jürgen Giesl
 Fri 12:15 - 13:45 AH 3  
Exercise (2)Thu 14:15 - 15:45 AH 3 Prof. Dr. Jürgen Giesl & Florian Frohn

The first lecture takes place on Tuesday, April 8. The lecture has 3 hours per week for Bachelor and Master students.


News


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 April 4, 2014)



Versions of the Lecture

Not all material of the lecture is needed for all students. More precisely, there are two versions of the lecture:

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

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.

Exam

There will be a written exam on the lecture. It takes place on August 20, 2014, 2:00 pm. The second written exam will take place on September 15, 2014.

Please register for the exam via Campus. If this is not possible for your study path, please send an e-mail with your name and matriculation id to Florian Frohn.

To help you prepare, here are the exams used in previous semesters. Please note that the differences between the V3B and V3M versions of the lecture have changed since then. 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