Advanced Functional Programming | University of Cambridge

Explore advanced functional programming concepts and their practical applications to design and implement robust, efficient software systems.

Introduction

This module aims to teach students how to use the features of modern typed functional programming languages (e.g. OCaml, Haskell) to design and implement libraries and DSLs. It aims to demonstrate how such techniques can improve both correctness and efficiency.

Highlights

• Covers advanced topics in functional programming, including higher-rank polymorphism, row polymorphism, and metaprogramming
• Focuses on designing and implementing libraries and domain-specific languages (DSLs) using modern functional programming techniques
• Emphasizes how these techniques can improve the correctness and efficiency of software

Recommendation

This course is recommended for students who have prior experience with a typed functional programming language and an understanding of type inference. It provides an in-depth exploration of advanced functional programming concepts and their practical applications, making it a valuable choice for those interested in developing robust and efficient software systems.