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.

中文翻译：

---

使用组合器和对象进行泛型编程

我们为 OCAML 提供了一个通用的编程框架，它可以为大规模的类型定义实现可扩展的转换。我们的框架利用了 OCAML 的面向对象特性，利用后期绑定来覆盖生成转换的默认行为。对多态变体类型的支持补充了描述可组合数据类型和实现可组合转换的能力。