Martín Escardó's functional programming teaching page

This page is under construction and will be updated with weekly information about the module, including lecture log, exercises etc.

1. Module syllabus.
2. Lectures. Please check this term's timetable. Notice that the lecture venues are not the same every week.
3. Haskell programs discussed in the lectures. Are available here.
4. Lab. Time and place to be announced. You must atttend your allocated lab session each week, and perform and return an assessed lab exercise. You can also ask questions about the homework exercise to the demonstrator in the lab.

   More information is given below.

5. Lecture Log and unassessed exercises.
   • Week 1. Required reading for this lecture: Ready, set, Go! This lecture is in the lab UG04. The objective is to familiarize you with ghc and ghci, and run simple programs (compute your mark for this module, the infinite lists of primes using the sieve method, modifying the sieve method to compute prime factors). The following lectures are in a lecture theatre.
   • Week 2. Required reading prior to this lecture: Starting out and Believe the type
   • Week 3.
   • Week 4.
   • Week 5.
   • Week 6.
   • Week 7.
   • Week 8.
   • Week 9.
   • Week 10.
   • Week 11.

6. Lab schedule and assessed exercises.

   Sample solutions for the exercises whose deadline has passed will be avaible here.

   You must attend your allocated lab session each week (UG04).

   Student id < 1245000: Thu 12-2pm

   Student id > 1245000: Fri 11-1pm.

   Liang-Ting Chen, Olle Fredriksson, Bram Geron, Sara Hassan, Chuangjie Xu are the demonstrators and teaching assistants.

   • Week 1. handout on lazy evaluation including the lab exercise.
   • Week 2.
   • Week 3.
   • Week 4.
   • Week 5.
   • Week 6.
   • Week 7.
   • Week 8.
   • Week 9.
   • Week 10.
   • Week 11.

7. Books and online tutorials.

   Our main functional language will be Haskell. Here are some links:

   1. Learn You a Haskell. A freely available book.
   2. Programming in Haskell. A short introductory book.
   3. Introduction to Functional Programming using Haskell. A more advanced book.
   4. Haskell: the Craft of Functional Programming. Also a more advanced book.
   5. Real world Haskell. A freely available book.
   6. Try Haskell in your browser.
   7. The Haskell Wiki.
   8. Install Haskell in your machine.
   9. List of Haskell tutorials.