Slightly irrelevant fun fact: the Rust compiler was implemented in OCaml for a long time during the R&D phase of the project.