Вопрос
Может ли кто-нибудь рекомендовать библиотеку для Ocaml, которая предлагает основанную на актерах модель concurrency для распределенных вычислений?
Обратите внимание на "актер-основанный" и "распределенный". Мне нужна модель на основе актера, но я также хочу, чтобы без проблем работала с распределенными участниками - я не хочу писать протокол, чтобы поговорить с ними. В идеале библиотека также должна предлагать стандартные шаблоны, такие как деревья супервизора и т.д.
Мотивация
Мне нравится модель Erlang concurrency и способность прозрачно обрабатывать распределенные процессы и локальные процессы вместе. Тем не менее, я считаю синтаксис Эрланга довольно ограниченным и хотел бы получить гораздо более выразительный язык. Я рассматриваю переход из Erlang в Scala или Ocaml.
Я знаю, что Scala имеет библиотеку Akka, которая, кажется, предлагает приятную версию модели Scala модели Erlang concurrency. Я хотел бы посмотреть, что доступно на стороне Ocaml.
Помимо
Я также был бы рад услышать о основанных на актерах библиотеках concurrency для других языков (в частности, С++, Haskell, Python и Ruby).