>>802
JoCamlはどうですか
http://jocaml.inria.fr/
Join計算(アクターと同じ非同期メッセージパッシング)という基礎があり、並列も並行もいける
OCamlと互換性もある