Erlang-in-Haskell: an Erlang-like distributed computing framework for Haskell
hackage.haskell.org
hackage.haskell.org
Ocaml has had success in this area as well, but the base language is a bit less pliable compared to Haskell, so it does not feel as fluent.
What I don't like about the shared-local, message-pass-global approach is that you have two kinds of concurrency in the same application. I'd much rather go with one, and in that case it must be the latter.