>(Though to my understanding, Jane Street capital, a proprietary trading firm, is the only company that uses this language in real world applications)

http://ocaml.org/companies.html