Generic Programming with Combinators and Objects
Programming Languages
2021-06-03 v1
Abstract
We present a generic programming framework for OCAML which makes it possible to implement extensible transformations for a large scale of type definitions. Our framework makes use of objectoriented features of OCAML, utilising late binding to override the default behaviour of generated transformations. The support for polymorphic variant types complements the ability to describe composable data types with the ability to implement composable transformations.
Cite
@article{arxiv.2106.01250,
title = {Generic Programming with Combinators and Objects},
author = {Dmitrii Kosarev and Dmitry Boulytchev},
journal= {arXiv preprint arXiv:2106.01250},
year = {2021}
}