“并发”是指像Erlang的actor和并发GC这样的轻量级进程，旨在使这样的进程顺利运行。
如果INRIA摆脱当前OCaml实现的缺点，使OCaml为多核未来做好准备，那将是非常酷的。
附： F＃不是我想要的。
“并发”是指像Erlang的actor和并发GC这样的轻量级进程，旨在使这样的进程顺利运行。
如果INRIA摆脱当前OCaml实现的缺点，使OCaml为多核未来做好准备，那将是非常酷的。
附： F＃不是我想要的。
如果不重复他的解释，我就不能更简洁。它说不出话来。是的，这是从2002年开始的，但是我没有听到他对这个问题的影响，从文本来看，他似乎很可能会退出这些目标。
关于并发函数编程的当前发展，可能是MPI解决方案（与ocaml绑定）可能是你的问题的解决方案。显然这不是共享内存并行性。还有 并发ML。
如果不重复他的解释，我就不能更简洁。它说不出话来。是的，这是从2002年开始的，但是我没有听到他对这个问题的影响，从文本来看，他似乎很可能会退出这些目标。
关于并发函数编程的当前发展，可能是MPI解决方案（与ocaml绑定）可能是你的问题的解决方案。显然这不是共享内存并行性。还有 并发ML。
看起来 简街 已经资助了一个向OCaml添加Concurrent GC的项目
该 线程模块 在标准库中提供了并发原语，并且已经存在了很长一段时间。还有 第三 派对 图书馆 它提供更高级别/不同的并发API。
但听起来你是这样的 混淆并发和并行。
OCaml当然不会妨碍并行性。您可以同时在数千或数百万台计算机上运行OCaml。甚至有 MPI绑定 使大型并行超级计算机的编程更容易。但是当前的参考OCaml实现不会自动并行化并发程序，我认为这是你真正感兴趣的。
你可能感兴趣 多核OCaml 这提供了对共享内存并行性的更好支持，因为SMP计算机在过去的几十年中变得非常普遍，并且更容易为它们进行优化会非常好。他们似乎正在缓慢但稳步前进，并努力做到正确。