Repository logo
 

Modular implicits

Published version
Peer-reviewed

Type

Conference Object

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

Volume Title

198

Publisher

Open Publishing Association