Multicore support isn't for every one, but there are some important use cases where multicore support is very useful. One example is Facebook's Hack language ty

Multicore support isn't for every one, but there are some important use cases where multicore support is very useful. One example is Facebook's Hack language type checker [0] which offers good opportunity for parallelism, but the lack of multicore support in OCaml means that they had to implement a custom off-heap lock free hash table shared by multiple processes. There are many industrial uses of OCaml including static type checkers (FB's Hack, Flow, Infer, etc), program verification tools (Coq, why3), math libraries (Owl) [1] etc., all of which benefit from multicore support. [0]: https://www.youtube.com/watch?v=uXuYVUdFY48 https://www.youtube.com/watch?v=uXuYVUdFY48 [1]: https://news.ycombinator.com/item?id=14751236 https://news.ycombinator.com/item?id=14751236