https://github.com/hongchangwu/ocaml-type-classes

OCaml Type Classes
https://github.com/hongchangwu/ocaml-type-classes

ocaml type-classes

Last synced: about 2 months ago
JSON representation

OCaml Type Classes

• Host: GitHub
• URL: https://github.com/hongchangwu/ocaml-type-classes
• Owner: hongchangwu
• License: mit
• Created: 2016-11-20T19:12:58.000Z (about 8 years ago)
• Default Branch: master
• Last Pushed: 2021-04-28T17:29:52.000Z (over 3 years ago)
• Last Synced: 2024-08-04T01:28:41.556Z (5 months ago)
• Topics: ocaml, type-classes
• Language: OCaml
• Size: 30.3 KB
• Stars: 17
• Watchers: 4
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

• awesome-list - ocaml-type-classes

README

        
# OCaml Type Classes

[![Build Status](https://travis-ci.org/hongchangwu/ocaml-type-classes.svg?branch=master)](https://travis-ci.org/hongchangwu/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](http://www.stefanwehr.de/publications/Wehr_ML_modules_and_Haskell_type_classes_SHORT.pdf)

- [Lightweight Higher-Kinded Polymorphism](https://ocamllabs.github.io/higher/lightweight-higher-kinded-polymorphism.pdf)