CS316 – Functional Programming

TIMETABLE TEACHING MATERIAL
Credits 20
Level 3
Semester 1
Prerequisites Basic programming skills, as might be gained by taking CS105 Programming Foundations or a similar introductory programming class.
Availability Possible elective
Contact Lectures: 20 | Tutorials: 10 | Labs: 18
Assignments: 60 | Self study: 92
Assessment The class is assessed by 4 courseworks and 3 class tests. The courseworks are valued 5%, 20%, 20%, 23.5%. The class tests are valued at 10%, 10% and 11.5%.
Resit The resit for this class will take the form of further coursework exercises, as appropriate.
Lecturer Dr Robert Atkey

General Aims

To provide the student with skills in basic functional programming and experience in integrated deployment of those skills.

Learning Outcomes

On completion of the class, a student should be able:

  • To understand the basic advantages of high-level programming languages.
  • To understand the basic advantages of using mathematics to structure programming.
  • To understand the basic principles of functional program design and demonstrate their practical application.
  • To specify and implement simple functional programs in the programming language Haskell.
  • To integrate the basic techniques of functional programming in a substantial project.

Syllabus

Core topics in the Haskell programming language are: Basic functions; Haskell’s built in data types; if expressions; case expressions; guarded functions; local definitions; pattern matching; list processing with built-in functions; recursion; polymorphism; anonymous functions; first-class functions; algebraic data types including recursive and polymorphic such types; standard type classes; monadic-style input/output.

The course will conclude with substantial integrative project work (e.g. a lexer-parser-interpreter and/or turtle graphics).

Recommended Text/Reading*

* This list is indicative only – the class lecturer may recommend alternative reading material. Please do not purchase any of the reading material listed below until you have confirmed with the class lecturer that it will be used for this class.

Programming in Haskell. Graham Hutton. Cambridge University Press, 2007, ISBN-13: 9780521692694