IRILL - Research and Innovation on Free Software

Camlboot: debootstrapping the OCaml compiler


"Camlboot: debootstrapping the OCaml compiler"
by Nathanaëlle Courant,
Download Webm format

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.