There is also a thread with a discussion of how to encode dynamic types from scratch Types as first class citizens in OCaml 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.
3 Likes