Idea: Standard OCaml runtime type representation

[jbeckford]

@jbeckford

Summary, using already mentioned concrete scenarios:

1. An OCaml newcomer should be able to debug their code by printing its values, without writing excessive boilerplate and without installing an opam switch with extra packages.
2. An OCaml newcomer should be able to implement hash/compare/equals, without writing excessive boilerplate and without installing an opam switch with extra packages.

@jbeckford

The answers:

• 1+2 are just pick a PPX and make it available. Any PPX. I’ve picked refl

Followup: The just announced DkML 2 has refl automatically available in the global environment: [ANN] DkML 2.0.x Releases . The Quick Start shows what can be done in utop-full immediately after installation. When it is ready, I also plan to make @dbuenzli’s typegist available for folks who want more control (performance, no PPX, etc.).