Red Hat's Richard Jones (who is also often commenting on Hacker News) does a lot of system programming in OCaml (mostly VM management-related I think):

https://rwmj.wordpress.com/tag/ocaml/