並列化する未来

http://d.hatena.ne.jp/propella/20090103/p1について。
逐次型言語が足枷になりつつある点に同意。今は逐次型言語で並列処理をするためには同期や排他が必要だが、それらは、後付の仕組みだからだろう、抽象化に漏れがある箇所が多すぎる。
時間に関する制約を組み込んだ関数型言語というのが良さそうな気がする、Erlang+Haskellくらいで。ただし、強力に回路数を最小化するコンパイラがないと使われないだろうな。