決定的に見える並列プログラミング言語？

Question

プログラマが目立った違いなく、システムがプログラムを並列化するプログラミング言語はありますか？

つまり、プログラマは、追加のタグやメタデータなしで、線形で決定論的なプログラムを作成し、基礎となるシステムがすべての作業を並列化します。

Answer 1

haskellにはparallelism and concurrency featuresのホストがあります。 STMは、haskellによって実装されて以来、広く普及し、議論されてきました。あなたはGoが好きかもしれませんが、それは興味のあるかもしれないchannel featureを持っています。

Answer 2

私はあなたが手順的であり、決定論的ではないと思います。 C＃では、以前使っていた手続き型プログラミングアプローチをより詳細にモデル化する非同期プログラミングモデルを可能にするいくつかの作業が進行中です。 Jeffrey RichterのIAsyncResultとMicrosoftの新しいAsync CTPを参照してください。

F＃およびその他の関数型言語は、しばらくの間、包括的な非同期モデルを持っていました。最終的には、独立性、不変性、および同期性（通常はリゾート順）など、並行性の考え方に従わなければなりません。上記のサイトでいくつかのホワイトペーパーを読むことをお勧めします。これは、Concurrencyが近いうちに（少なくともC＃で）どのようにアクセス可能であるべきかを垣間見るためのものです。

Answer 3

Fortress種類のものと思われます。