Toets Matrix

Afp
%TOC%

---++ Overview
   * Basics and fundamentals
   * Patterns and libraries
   * Language and types


---++ Course contents and tests

At the end of the course, you should be:

|                                                                                                                                               | *Written exam*   | *Assignments*  |  *Project and presentation*  |
| be able to use a wide range of Haskell tools and libraries                                                       |                         | 20                     | 40                                        |
| know how to structure and write large programs                                                                    |                           | 20                     | 40                                        |
| proficient in the theoretical underpinnings of FP such as lambda calculus and type systems   |  40                     |                          |                                             |
| able to understand formal texts and research papers on FP language concepts                       |  40                     | 20                     | 40                                        |
| familiar with current FP research                                                                                             |                           | 20                     | 40                                        |

---++ Topics

   * Lambda calculus
   * Evaluation strategies, eager and lazy evaluation
   * Applications of lazy evaluation
   * Types and type inference
   * Data structures
   * Effects in functional programming languages
   * Interfacing with other languages
   * Design patterns and common abstractions
   * Modularity and reuse
   * Domain-specific languages
   * Type-level programming





-- Main.DoaitseSwierstra - 04 Dec 2011