Hacking the OCaml Compiler to Add Type Reflection

At LexiFi, we maintain a powerful fork of the OCaml compiler that extends it with type reflection capabilities, providing an alternative to PPX for many common tasks.

In this hands-on workshop, participants implement a toy version of type reflection in the compiler, serving as both an introduction to the technique and a "compiler hacking 101" experience for those interested in contributing to OCaml's development.