The 2026 edition of the OCaml Workshop is taking place on August 24 in Paris and LexiFi is taking part in it.
The 20-minute talk will be a presentation of LexiFi’s system of runtime types, the type reflection machinery of our compiler fork that underpins a large part of our software stack.
The slides for the workshop are below.
A longer extended report is also available. It contains many more details and examples. It is currently in draft form, and corrections/suggestions are warmly welcome.
The video of the workshop is not yet available, but I will update the blog post once it is.
Questions? You can reach me at nicolas.ojeda.bar@lexifi.com. Happy hacking!