3 ms·
This landing page includes a pet peeve: zero-context social proof. It's great to know that Microsoft, Docker, and Facebook use OCaml. Buy do they use it seriou
by conroy 4y ago
This landing page includes a pet peeve: zero-context social proof.
It's great to know that Microsoft, Docker, and Facebook use OCaml. Buy do they use it seriously? The industrial users (https://ocaml.org/industrial-users https://ocaml.org/industrial-users) page links directly the company websites. Only two logos from the home page have case studies. Don't just tell me that Microsoft uses OCaml, tell me how!
- ilaksh 4y agoSame way Microsoft uses Java, mainly. They copied it, paid a bunch of geniuses massive amounts of money to make it better and run on their platform, then spent millions and millions of dollars recruiting Ocaml (Java) developers into their proprietary F# (C#) universe.
- duxup 4y agoI don't even put much faith in those. I've seen enough that I was sure they were BS... they're just noise to me.
- activitypea 4y agoI know that Facebook's Typescript competitor, Flow, was both written in OCaml and tried to introduce the HM type system into the JS world. It was quite popular back in the day, but eventually lost the war to TS. Perhaps more notably, they are still actively working on Rescript (formerly ReasonML), which is an Ocaml dialect with JS as the primary compilation target (think Clojurescript but Ocaml). They also maintain a flavor of React specific for Rescript. I don't know how much they dogfood it, but it seems like they're at least somewhat betting on an ML future. Disclaimer: Not a FB/Meta employee
- zem 4y agotheir python type checker, pyre, is also written in ocaml
- snthueoa 4y agoDocker Desktop uses OCaml/MirageOS for handling all network translation between host and guest systems: https://www.docker.com/blog/how-docker-desktop-networking-works-under-the-hood/ https://www.docker.com/blog/how-docker-desktop-networking-wo...