Modular implicits

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.

In Proceedings ML/OCaml 2014, arXiv:1512.01438

Cited by in corpus (5)

• Typed Embedding of a Relational Language in OCaml
• Effects Without Monads: Non-determinism -- Back to the Meta Language
• Resolution as Intersection Subtyping via Modus Ponens
• Putting gradual types to work
• Generic Programming in OCaml