Modular implicits
Programming Languages
2015-12-08 v1
Abstract
We present modular implicits, an extension to the OCaml language for ad-hoc polymorphism inspired by Scala implicits and modular type classes. Modular implicits are based on type-directed implicit module parameters, and elaborate straightforwardly into OCaml's first-class functors. Basing the design on OCaml's modules leads to a system that naturally supports many features from other languages with systematic ad-hoc overloading, including inheritance, instance constraints, constructor classes and associated types.
Cite
@article{arxiv.1512.01895,
title = {Modular implicits},
author = {Leo White and Frédéric Bour and Jeremy Yallop},
journal= {arXiv preprint arXiv:1512.01895},
year = {2015}
}
Comments
In Proceedings ML/OCaml 2014, arXiv:1512.01438