CS277 - Functional Thinking

TIMETABLE	TEACHING MATERIAL
Credits	10
Level	2
Semester	Semester 2
Availability	Available to students taking BSc Hons Computer Science - Bahrain or BSc Hons Software Engineering - Bahrain
Prerequisites	None
Learning Activities Breakdown	Lectures: 10 of 1 hour each - 10 hours total Practical / Lab: 10 of 2 hours each - 20 hours total Homework / Private Study: 70 hours Total hours activity: 100 hours
Items of Assessment	2
Assessment	The class will be assessed by coursework which will consist of weekly multiple choice questions and programming questions and an in person class test. These assessments will be set using a modern functional programming language, such as Haskell. Feedback will be delivered to students both electronically and in person during labs. Assignments will be assessed electronically and feedback delivered quickly to aid learning.
Lecturer	Ammar Aldallal

To introduce the core concepts and methods of modern functional programming, serving as an introduction to our third year class on this topic.

Learning Objective 1 : to understand basic functional programming concepts: inductive datatypes, pattern matching, structural recursion

Learning Objective 2 : to understand how to transform and interpret languages of expressions

Learning Objective 3 : to understand functional data structures, e.g. search trees

Learning Objective 4 : to understand abstraction of type parameters and common interfaces

- functions and types; functional composition

- inductive datatypes, pattern matching, structural recursion

- transforming and interpreting languages of expressions

- functional data structures, e.g., search trees

- representation of simple computational effects, e.g. failure by Maybe and choice by lists

- abstraction of type parameters (parametric polymorphism)

- abstraction of common interfaces, e.g., Eq, Ord, Monoid

Syllabuses - UG