| form | group | time | week | room | teacher | |
|---|---|---|---|---|---|---|
| college | ma 13.15-15.00 | 46-51 | BBL-079 | Doaitse Swierstra |
|
|
| 2-4 | BBL-079 | |||||
| do 9.00-10.45 | 46-51 | BBL-079 | ||||
| 2-4 | BBL-079 | |||||
| werkcollege | groep 1 | ma 15.15-17.00 | 47-51 | BBL-079 | ||
| 2-4 | BBL-079 | |||||
This course builds upon knowledge gained in the introductory course on functional programming. Using Haskell as our language of choice, we will look at several advanced functional programming techniques, patterns, libraries and tools. Many of the research projects inside the department make use of functional programming, and one goal of this course is to equip you with sufficient knowledge in order to participate in such projects. Here are a few topics that the course will most likely cover:
- Development
- Tools
- Testing
- Debugging
- Profiling
- Libraries
- Data Structures
- Interfacing to other programming languages
- Monads, monad transformers, applicative functors
- Embedded domain-specific languages
- Language features and extensions
- Multi-parameter type classes and functional dependencies
- Type families
- Kinds
- Generalized Algebraic Data Types (GADTs)
- Existential types
- Higher-rank polymorphism
There are no required books for this course. The course will refer to research papers that are available through the internet and electronic libraries. The course web page will contain further details.
Lectures and assignments.
The lectures cover the list of topics mentioned above and are often based on selected research papers. Participants are expected to read the material before the lectures.
Assignments will consist of theoretical questions about the material covered in lecturers and of related programming assignments. All participants are expected to complete the assignments.
The participants have to perform a large programming task in a team of approximately four students. The programming assignment will be explained in the beginning of the course. At the end a presentation has to be given about the project, and a short paper has to be written about the project.
The final exam is based on the topics of the lectures and assignments.
- marks for the assignments (20%)
- overall score for the large programming task (40%)
- written examination (40%)