https://discuss.ocaml.org/t/on-concurrency-models/15899
之前疑惑為什麼 riot.ml 說他可以做 Erlang-style lightweight processes,現在看來這件事情還沒解決。Concurrency model 還在吵,至少還有 Eio、Miou、Moonpool、Picos,另外 Riot 也還沒寫完,暫停幾個月了。所以 multicore #OCaml 看起來還是一團混戰中
On concurrency models
Indeed it’s the only way to get to a real compositional, multi-core friendly eco-system. It’s quite clear that the current breed of multi-core abstractions and their various pools, is totally ill suited. And picos, despite all the excellent work by @polytypic that goes in it, by enabling them to live along each other is making things even worse: there’s nothing you can do when you have multiple, very different, concurrency models in your program (e.g. IIRC miou checks stuff about your ressourc...