/CS316-17

The 2017-18 edition of Strathclyde's CS316 "Functional Programming" course

Primary LanguageHaskell

CS316 "Functional Programming"

Welcome to the webpage for The University of Strathclyde CS316 "Functional Programming"!

This course has a Twitter account.

Assessment: this course is entirely assessed by coursework. There are four exercises that you will complete (details below). For the 2nd, 3rd, and 4th exercises, you will do two thirds of the exercise at home or in the labs, and the final third is done in exam conditions in the lab.

See the schedule.

Contact

Bob Atkey LT1305 robert.atkey@strath.ac.uk

Fredrik Nordvall Forsberg LT1310 fredrik.nordvall-forsberg@strath.ac.uk

Lectures

Lectures are at 11am Mondays in GH816 and 11am Fridays in LT210. In week one, there was an additional lecture on Thursday at 4pm in LT210 in place of the tutorial normally in that slot.

See the schedule for more details.

Most of the lectures will involve us doing live coding. We will place the code from each lecture in this repository after each lecture, interspersed with commentary covering what we talked about.

  • Lecture 1 (with notes) : Data and Pattern Matching
  • Lecture 2 (notes in progress) : Standard types and classes. The GHCi trace of the lecture.
  • Lecture 3 (notes in progress) : Defining functions
  • Lecture 4 (with notes) : List comprehensions
  • Lecture 5 : Recursive functions
  • Lecture 6 : Higher-order functions
  • Lecture 7 : Declaring types and classes
  • Lecture 8 : QuickCheck

Tutorials

In addition to the lectures, there are weekly tutorials at 4pm on Thursdays in LT210. These are intended for going through some unassessed homework questions that we will set after the lectures, or for you to ask questions about the assessed exercises.

One minute papers

At every lecture and tutorial, we will hand out "One minute papers" (OMPs) for you to provide us with feedback on the lecture -- what you have learned in this lecture and what we could have explained better. At the start of the next lecture, we will go through the OMPs from last time and try to address the feedback you give us.

Students registered on the course can see their OMPs on the Marx system.

Exercises

As detailed above, this course is entirely assessed by coursework. The split between the four exercises is shown below:

  • Exercise 1 (5%) : The evaluation game. Once you have finished, enter your username and you will get a password. Email this to one of us (email addresses below) by the deadline (Thursday 28th September, 4pm).

  • Exercise 2 (30%) : First-order Programming (FOP). This will be released on Thursday 28th September (week 2), and the final deadline and test are on Monday 16th October (week 5).

  • Exercise 3 (30%) : Higher-order Programming (HOP). This will be released on Thursday 12th October (week 4), and the final deadline and test are on Monday 6th November (week 8).

  • Exercise 4 (35%) : GHOUL. This will be released on Thursday 2nd November (week 7), and the final deadline and test are on Monday 27th November (week 11).

After each of the exercises has been marked, we will email you your marks, and also put them on the Marx system for you to see.

Helpful Links

Other Lecture Courses

These links are to lecture courses by other Universities and companies. You might find them useful as alternative presentations of the material in our course.

Books

There are now many books written about Haskell. Here are links to some that we have found useful.