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

Functional Programming

(V3 resp. 4 + Ü2, WS 2009/10)

LuFG Informatik 2
Type Times/RoomInstructor
Lecture (3 / 4)Tue 11:45 - 13:15 AH 3 Prof. Dr. Jürgen Giesl
 Fri 11:45 - 13:15 AH 1  
Exercise (2)Wed 16:00 - 17:30 AH 3 Prof. Dr. Jürgen Giesl & Carsten Fuhs

The lecture has 3 hours per week for students in Bachelor Informatik and Master Informatik. It has 4 hours per week for students in Diplom Informatik, Diplom Mathematik, and Master of Software Systems Engineering (see below for details).

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.


References

Here is a short overview on the correspondence of the material in the lecture to material in the books mentioned above. However, the material is not identical to the one in the books.

Versions of the Lecture

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

Area

Theoretical Computer Science, Area of Specialization


Old Exams and Important Topics

As already announced above, the date for the written exam will be February 24, 2010. If you fail this exam, there is a second written exam to repeat it on March 19, 2010. As for the lecture, there will be three corresponding versions of the final written exam (V4, V3B, V3M). The exam will be closed book (i.e., no additional material is allowed). You will only need to bring a pen/biro, your student ID and a passport/ID card to the exam. For all versions, the exam is scheduled to take 120 minutes. We consider especially the following topics to be important for the exam: Due to recent changes in the computer science curriculum, before this semester 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. 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 90 minutes).
Exercise Certificate Exam Functional Programming 2005 ps, pdf / Solutions ps, pdf
Exercise Certificate Exam Functional Programming 2007 ps, pdf / Solutions ps, pdf
The exams of this semester are now both available for download. They took 120 minutes each.
Exam February 24, 2010 V3B, V3M, V4 / Solutions V3B, V3M, V4
Exam March 19, 2010 V3B, V3M, V4 / Solutions V3B, V3M, V4

Exercises

The exercise sheets will be handed out during the lectures. They can also be downloaded on this site. You should hand in your solutions in groups of 2 or 3 students. In the exercise course the solutions of the latest exercise sheet will be presented and your reviewed solutions of last week's exercises will be handed out. If you want to hand in your solutions earlier than the deadline requires, please go to Carsten Fuhs's office (room 4209, building E1).

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

If you have questions regarding the review of your solution, please contact one of the student teaching assistants.


Haskell

In the course, we use the functional programming language Haskell. Information on Haskell as well as (free) interpreters and compilers can be found on the Haskell home page haskell.org. To learn Haskell, we recommend the Haskell interpreter Hugs.


Transparencies

Here are the transparencies used in the lecture.

Disclaimer  Research Group Computer Science 2  Dept. of Computer Science RWTH