OCaml Type Classes

Introduction

OCaml doesn't have built-in support for type classes, but it's possible to emulate them. There is more than one way to do it. This project shows one way using first-class modules.

Quick Start

Prerequisites: dune, ANSITerminal, higher

To build the project

make

To run the demo

make run

Further Reading

• ML Modules and Haskell Type Classes: A Constructive Comparison
• Lightweight Higher-Kinded Polymorphism