通过“并发”我的意思是像Erlang的演员和并发GC旨在使这样的流程顺利开展轻量级进程。
如果INRIA摆脱当前的OCaml执行这些缺点，使OCaml中的多核更好的应对未来这将是非常酷。
PS F＃是不是我要找的。
Answer 1:
没有
我不能没有复制他的解释更加简洁。 这是不言而喻的。 是的，这是从2002年，但我没有听到他晃动的问题，并从文本，它似乎并不可能在所有他会从这些目标退缩。
有关并行编程功能，可能MPI解决方案（目前的发展与OCaml的绑定 ）可能是你的问题的解决方案。 显然，这不是共享内存并行。 还有并发ML 。
Answer 2:
有J＆OCAML ，这是...
目的CAML加（）的加入微积分 ，就是OCaml的延长并行和分布式编程。
Answer 3:
看来， 简街已资助的项目添加并发GC来OCaml的
http://ocamlnews.blogspot.com/2008/04/ocaml-to-get-concurrent-garbage.html
http://groups.google.com/group/fa.caml/msg/735752c0a7a0ba4c
Answer 4:
该线程模块的标准库提供并发原语，并且已经有一段时间了。 也有第三党库，它提供了更高级别/不同的并发的API。
但它听起来像你混为一谈并发和并行 。
当然ocaml的不并行的方式获得。 您可以在同一时间上十万或数百万台计算机上运行的OCaml。 甚至有MPI绑定 ，以使其更容易大规模并行超级计算机编程。 但目前的基准OCaml的实现不会自动并行并发程序，我想这是你真正更感兴趣的内容。
你可能有兴趣在多核的OCaml它提供了共享内存并行更好的支持，SMP电脑已经成为了过去几十年里相当普遍，这将是非常好的能够更容易地进行优化。 他们似乎是缓慢而稳定的进展，并试图得到它的权利。
文章来源: Is INRIA going to add concurrency primitives to OCaml?
