Advanced Functional Programming | University of Cambridge
University of Cambridge
Explore advanced functional programming concepts and their practical applications to design and implement robust, efficient software systems.
University CoursesHaskellOCamlProgramming
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.