Typegist represents the essence of OCaml types as values.
This dynamic type representation can be used to devise generic type-indexed functions – value serializers, generators, differs, editors, FFI glue, etc. Any accessible type can be described up to the limits defined by its public interface.
Typegist does not model OCaml's type language in full detail. It focuses on a core structural subset decorated with typed-indexed metadata to provide an ergonomic interface for both producers and processors of the representation.
Typegist is distributed under the ISC license. It has no dependencies.
Homepage: https://erratique.ch/software/typegist
Typegist can be installed with opam:
opam install typegistIf you don't use opam consult the opam file for build instructions.
The documentation can be consulted online or via odig doc typegist.
Questions are welcome but better asked on the OCaml forum than on the issue tracker.
A grant from the OCaml Software Foundation helped to bring the first public release of typegist.