-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
OCaml already does. Some good examples -
JSON GADT : https://github.com/OCamlPro/ocplib-json-typed/blob/0d9e9cde7...
Another one is the mirage/repr project which uses GADT's for representing OCaml types as runtime values, for dynamic polymorphism - https://github.com/mirage/repr/blob/main/src/repr/type.ml
OCaml already does. Some good examples -
JSON GADT : https://github.com/OCamlPro/ocplib-json-typed/blob/0d9e9cde7...
Another one is the mirage/repr project which uses GADT's for representing OCaml types as runtime values, for dynamic polymorphism - https://github.com/mirage/repr/blob/main/src/repr/type.ml