Ask HN: What makes OCaml so desired for writing compilers?

From what I understand, the original Rust compiler as well as Facebook's current Hack PHP compiler were written in OCaml. There are several static, functional languages out there, what makes OCaml more suited than other languages for compiler design and implementation? What are the features desired for writing a compiler?