Informatics 1 - Functional Programming
The course lecturer is professor Philip Wadler.
The course consists of 20 lectures and 10 tutorials spread over the length of the first semester of the year (September–December). Each tutorial has its own set of exercises, and examination is by two programming tests.
The course is aimed primarily at students with no prior programming experience.
The course textbook is Simon Thompson: Haskell, the Craft of Functional Programming.
Most exercises require students to verify their code using QuickCheck, where writing appropriate test properties is part of the challenge. In addition, some tutorial exercises use a modified version of the School of Expression graphics library, which relies on the following packages: