Typegist représente l'essence des types OCaml par des valeurs.
Cette représentation dynamique des types permet de concevoir des fonctions génériques indexées par les types – sérialiation, générateurs, fonctions de différence, éditeurs, interfaces FFI, etc. Tout type accessible peut être décrit dans les limites définies par son interface publique.
Typegist ne modélise pas le langage de types d'OCaml dans son intégralité. Il se concentre sur un noyeau structurel enrichi de métadonnées indexées par les types afin de fournir une interface ergonomique aux producteurs et aux utilisateurs de la représentation.
Typegist est distribuée sous la license ISC. Elle n'a pas de dépendences.