# Idea: Standard OCaml runtime type representation

**URL:** <https://discuss.ocaml.org/t/idea-standard-ocaml-runtime-type-representation/12051>\
**Category:** Ecosystem\
**Created:** [May 1, 2023, 7:17am UTC](https://discuss.ocaml.org/t/idea-standard-ocaml-runtime-type-representation/12051 "2023-05-01T07:17:40Z")\
**Posts on this page:** 1\
**Showing post:** 4

<div class="post-metadata">

**Author:** ![qubit](https://sea2.discourse-cdn.com/flex020/user_avatar/discuss.ocaml.org/qubit/32/4239_2.png) [@qubit](https://discuss.ocaml.org/u/qubit)\
**Post date:** [May 1, 2023, 10:31am UTC](https://discuss.ocaml.org/t/idea-standard-ocaml-runtime-type-representation/12051/4 "2023-05-01T10:31:43Z")

</div>

There is also a thread with a discussion of how to encode dynamic types from scratch [Types as first class citizens in OCaml](https://discuss.ocaml.org/t/types-as-first-class-citizens-in-ocaml/2030) It has been extremely useful for me as I’m trying to design a dataframe library for OCaml to make it more usable for data science and ML use cases.

---

_[View the full topic](https://discuss.ocaml.org/t/idea-standard-ocaml-runtime-type-representation/12051)._