Re:Ask HN: Java in 5 Years?
by IHaveASolution on Wednesday November 10, 2010 @09:19PM
(#1892601)
OCaml is getting that much money from quantitative finance firms &c. if you are curious. There are a not insignificant number of them that use OCaml, and it is the only time I have heard of OCaml being used.
[ Parent
| on HN ]
OCaml is used for code verification tools too (Microsoft z3, CEA Frama-C, INRIA Coq, AbsInt Astree, Facebook pfff, ...) and for system programming a lot (Citrix Xen Toolstack, MLstate OPA, MyLife.com, MLdonkey, Unison, ...). If you have heard of OCaml only for finance, you have probably not searched enough.