Statically-typed value persistence for ML
Thomas Gazagnaire, and Anil Madhavapeddy.
Paper in the workshop on Generative Technologies.
We present a set of extensions to the OCaml language which add support for statically generating typed accessor functions for persisting and communicating a large subset of OCaml types. The extensions do not require any compiler modifications and are implemented using the camlp4 AST transformer.
We describe our utility libraries which permit analyzing OCaml values and type declarations from library code without the complexity of a fully-staged system such as MetaOCaml.