This advanced functional programming course in Haskell aims to teach students how to enhance their programming skills by delving into topics such as functors, applicative functors, monads, reasoning about programs, and compiler correctness. The course employs a combination of video lectures, practical coursework assignments, and supplementary reading materials. The intended audience for this course is second-year Computer Science students looking to deepen their understanding of functional programming concepts and techniques.
Overview
Syllabus
AFP 1 - Course Overview.
AFP 2 - Sudoku I: First Steps.
AFP 3 - Sudoku II: Initial Solvers.
AFP 4 - Sudoku III: Improving Performance.
AFP 5 - Coursework 1: Connect Four Game.
AFP 6 - Functors.
AFP 7 - Applicative Functors.
AFP 8 - Monads I: Basic Concepts.
AFP 9 - Monads II: Maybe, List and State.
AFP 10 - Monads III: State Revisited.
AFP 11 - Monads IV: Generics, Laws and Benefits.
AFP 12 - Coursework 2: Monadic Compiler.
AFP 13 - Reasoning About Programs.
AFP 14 - Induction.
AFP 15 - Making Append Vanish: Fast Reverse.
AFP 16 - Making Append Vanish II: Fast Flatten.
AFP 17 - Compiler Correctness.
Taught by
Graham Hutton
