Haskell
やっぱHaskellもいいかも。
Haskellだと茨の道が待っている気がしてちょっとびびる。
大体STMってなんだ?そんなにいいものなのか?
Erlangなら動的型だしメッセージパッシングわかりやすいし、その上に乗っかっていれば悩むことはなさそうなんだが。
やってみないとわからないから両方試してみるか。
http://www.haskell.org/haskellwiki/HAppS_tutorial
http://happs.org/
http://www.algorithm.com.au/talks/concurrency-erlang/
http://ahamsandwich.wordpress.com/2007/08/12/stm-and-haskell-attention/