Hacker News Reader

Like with many things, the reference interpreter is in ocaml because one sufficiently motivated insider wanted it to be.

I think ocaml (ml-y languages in general perhaps) lend themselves to interpreters quite nicely. Similarly with Rust.

Maybe there's an intersection between PL nerdery and interpreter authoring, and I fall into that bucket and am biased.