[ysleepy]

I remember reading years ago that the hack compiler was built in ocaml. compilers and such are often built using languages with nice ADTs afaik.

[itishappy]

The Rust compiler was bootstrapped from OCaml as well!