Modular implicits
Published version
Peer-reviewed
Repository URI
Repository DOI
Change log
Authors
White, L
Bour, F
Yallop, J
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.
Description
Keywords
cs.PL, cs.PL, D.3.3
Journal Title
Electronic Proceedings in Theoretical Computer Science, EPTCS
Conference Name
Journal ISSN
2075-2180
2075-2180
2075-2180
Volume Title
198
Publisher
Open Publishing Association