Comment by johnisgood

Yep, and they use OCaml! I always feel like I have to point it out since people do not think much of it, have lots of misconceptions of it, and so on.