State of Multicore OCaml [pdf]
The next two years or so will be really exciting.Rust is beginning to understand that they need more stability and LTS versions, and libraries are blossoming nicely.Ocaml already has a very mature module ecosystem and is now becoming safe and modern.I think rust will still have an edge in adoption due to its portrayal as C++ unfucked, but ocaml is definitely the easier tool to work with, imo. And maybe that will change.I don't think even linear types and multicore would be enough for ocaml to make any significant dent in the systems programming world. Rist and C/C++/D/Zig all do memory management too conveniently, and it opens doors too close to the bottom for ocaml to keep up.Any ocaml hackers: would you want to write system drivers in ocaml? Why/ why not?