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.
How GetVM Works
Learn by Doing from Your Browser Sidebar
Access from Browser Sidebar
Simply install the browser extension and click to launch GetVM directly from your sidebar.
Select Your Playground
Choose your OS, IDE, or app from our playground library and launch it instantly.
Learn and Practice Side-by-Side
Practice within the VM while following tutorials or videos side-by-side. Save your work with Pro for easy continuity.
Explore Similar Hands-on Tutorials