CS141-15 Functional Programming
The principal aim of this module is to introduce students to the functional programming paradigm.
Students should be able to understand the differences between imperative and functional programming, apply functional programming techniques, and write programs in Haskell.
This is an indicative module outline only to give an indication of the sort of topics that may be covered. Actual sessions held may differ.
- Differences between imperative and functional programming.
- Functional programming basics: expressions and reduction.
- Types, including parametric polymorphism.
- Ad-hoc polymorphism via type classes.
- Recursive and higher-order functions.
- Algebraic data types.
- Strict vs Lazy evaluation.
- Equational reasoning and inductive construction.
- Functors, Applicatives, Foldables, Traversables, and Monads.
- Type-level programming.
By the end of the module, students should be able to:
- Understand the differences between programming paradigms as well as their strengths and weaknesses in order to identify suitable programming languages for a particular task's needs.
- Apply key techniques of the functional programming paradigm to solve programming problems.
- Identify and exploit patterns in programs to design and implement programming abstractions.
- Apply formal reasoning techniques to prove properties about programs and calculate faster programs.
- Use different evaluation strategies to evaluate programs.
Indicative reading list
Please see Talis Aspire link for most up to date list.
Subject specific skills
Understanding of Functional Programming as a programming paradigm, including intermediate knowledge of programming abstractions and formal reasoning. See syllabus for details.
|Lectures||30 sessions of 1 hour (20%)|
|Practical classes||10 sessions of 1 hour (7%)|
|Private study||110 hours (73%)|
Private study description
Background reading of recommended texts.
Work on unsupervised practical assignments.
No further costs have been identified for this module.
You do not need to pass all assessment components to pass the module.
Students can register for this module without taking any assessment.
Assessment group D3
Coursework 2. This assignment is worth more than 3 CATS and is not, therefore, eligible for self-certification.
~Platforms - AEP
Assessment group R1
CS141 resit examination
~Platforms - AEP
Feedback on assessment
Individual feedback on coursework via Tabula
This module is Optional for:
- Year 1 of UCSA-G500 Undergraduate Computer Science
- Year 1 of UCSA-G503 Undergraduate Computer Science MEng
- Year 1 of UCSA-I1N1 Undergraduate Computer Science with Business Studies
- Year 1 of UCSA-G406 Undergraduate Computer Systems Engineering
- Year 1 of UCSA-G408 Undergraduate Computer Systems Engineering
- Year 2 of UCSA-G5N1 Undergraduate Computer and Management Sciences
This module is Option list B for:
- Year 1 of UCSA-G4G1 Undergraduate Discrete Mathematics
- Year 1 of UCSA-G4G3 Undergraduate Discrete Mathematics