concurrency - INRIA は並行性プリミティブを OCaml に追加する予定ですか?

Question

「並行性」とは、Erlang のアクターのような軽量プロセスや、そのようなプロセスをスムーズに機能させることを目的とした並行 GC を意味します。

INRIA が現在の OCaml 実装のこれらの欠点を取り除き、OCaml がマルチコアの将来に備えられるようになれば、非常にクールです。

PS F# は私が探しているものではありません。

Answer 1

いいえ

彼の説明を再現せずに、これ以上簡潔にすることはできません。それはそれ自体を物語っています。はい、これは2002年のものですが、彼がこの問題に動揺しているのは聞いたことがありません。テキストから、彼がこれらの目標から後退する可能性はまったくないようです。

並行関数型プログラミングの現在の開発では、おそらくMPIソリューション（ocamlバインディングを使用）が問題の解決策になる可能性があります。明らかに、これは共有メモリの並列処理ではありません。同時MLもあります。

Answer 2

Jane Streetは Concurrent GC を OCaml に追加するプロジェクトに資金を提供したようです

• http://ocamlnews.blogspot.com/2008/04/ocaml-to-get-concurrent-garbage.html

• http://groups.google.com/group/fa.caml/msg/735752c0a7a0ba4c

Answer 3

J&oCamlがあり、これは…</p>

Objective Caml plus (&) join calculus、つまり、並列および分散プログラミング用に拡張された OCaml。