16 September 2022, 15:00
Nathanaëlle Courant (OCamlPro, Inria)
In this talk, I will present Camlboot, a project which debootstraps the OCaml compiler, that is, is able to
compile the OCaml compiler without using the bootstrap binary. Camlboot
consists in a naïve compiler for a subset of OCaml called MiniML, and an
interpreter for OCaml written in MiniML. I will first justify the interest
of debootstrapping, then explain the architecture and parts of Camlboot, and
finally present the experimental validation of Camlboot.
Videos published under CC-BY 3.0. Brought to you thanks to the support of the Debian video team. Guix graphics by Luis Felipe.