4 ms·
Jane Street being the only company that anyone ever mentions when discussing OCaml is even worse in my opinion. It means the ecosystem is going to be heavily dr
by Tarq0n 6y ago
Jane Street being the only company that anyone ever mentions when discussing OCaml is even worse in my opinion. It means the ecosystem is going to be heavily driven by their needs, not to mention that banks tend to have idiosyncratic development cultures.
- mseri 6y agoIt is not the only one though. There are Ahrefs, Tarides, Tezos, Citrix (XenServer and a part of Xen are in OCaml), Inria, Facebook (for compilers, typecheckers and ReasonML), Bloomberg (was Bucklescript/ReScript, now at facebook though I believe). There are also some academic projects with industrial uses. Directly to mind come Coq, Frama-C, Mirage and the Zélus compiler. EDIT: added Inria and Frama-C
- brmgb 6y agoJaneStreet is not the only user of OCaml. Both INRIA and the CEA uses OCaml heavily (Coq, CompCert, Frama-C). Cambridge uses it for MirageOS, Facebook to write software analysers and now web applications (the web version of Facebook Messenger), Citrix in XenServer. Bloomberg developed a compiler from OCaml to Javascript.
- logarhythmic 6y agoFacebook also uses it and will probably have more of an emphasis on it now with their ReasonML project
- Shoreleave 6y agoJane Street only gets mentioned so often because it is one of the highest paying and selective companies in the world. They are not in control of the ecosystem. And they have nothing to do with banks.
- yawaramin 6y agoDocker for Mac uses OCaml for a critical virtualization layer. So does every cloud compute provider that runs on Xen virtualization: https://twitter.com/yawaramin/status/1284976603454492674 https://twitter.com/yawaramin/status/1284976603454492674