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...

OCaml

https://github.com/robur-coop/miou?tab=readme-ov-file#genesis

Robur 的人有提一下為什麼他們要自己寫一套 Miou,不能用 Eio,總之就是意見分歧然後溝通無效。

感覺這種分歧,短期內是無解。

也好啦,本來就 there's more than one way to do it 吧 

GitHub - robur-coop/miou: A simple scheduler for OCaml 5

A simple scheduler for OCaml 5. Contribute to robur-coop/miou development by creating an account on GitHub.

GitHub

我其實沒有認真看過 Miou 和 Moonpool。今天快速看一下,感覺上... 他們就是喜歡 colored function 吧  不懂為什麼很多東西都可以寫成 direct style 了,還是硬要限制只能用 await 來開 task。

可能我沒看到什麼?