フサルク（プログラミング言語）

Futhark は、マルチパラダイム、高レベル、関数型、データ並列、配列プログラミング言語です。これは、もともとUCPH コンピュータサイエンス学科(DIKU)でHIPERFIT プロジェクトの一環として開発されたML言語の方言です。 ^{[ 2 ]}関数型スタイルで記述されたデータ並列プログラムを、特にグラフィックス処理ユニット(GPU) などの大規模並列ハードウェアで高性能に実行できるようにすることに重点を置いています。Futhark はNESLに強く影響を受けており、その実装ではフラット化変換の変種を使用していますが、より積極的なコンパイラ最適化を可能にするために並列性の表現方法に制約を課しています。特に、不規則なネストされたデータ並列性はサポートされていません。^{[ 3 ]}これは、ISC ライセンスの下でリリースされたフリーでオープンソースのソフトウェアです。

Futhark はMLファミリーの言語で、 OCaml、Standard ML、Haskellから派生したインデントに依存しない構文を持っています。型システムは、一意性型やサイズ依存型など、さまざまな拡張機能を備えたHindley–Milner 型システムに基づいています。Futhark は、完全なアプリケーションを作成するための汎用プログラミング言語として意図されているのではなく、従来の言語で書かれたアプリケーションから呼び出される計算カーネル(必ずしもGPU カーネルと同じではない) の作成に重点を置いています。^{[ 4 ]}

フサルクはルーン文字の最初の6文字にちなんで名付けられました。^{[ 5 ]： 2}