SACプログラミング言語

SAC（Single Assignment C ）は、数値計算アプリケーションのニーズに焦点を当てて設計された、厳密な純粋関数型プログラミング言語です。データ並列処理による配列処理の効率的なサポートが重視されています。効率性に関する懸念は、主に2つあります。1つ目は、配列操作を高度な抽象度で指定できる機会を提供することで、プログラム開発の効率性を向上させることです。2つ目は、プログラム実行時の効率性、つまり時間とメモリ消費量におけるプログラムの実行時パフォーマンスを、高度なコンパイル方式によって実現することです。後者が成功して初めて、高レベルの仕様記述スタイルが実際に有用であると言えるのです。

効率的な実行可能コードへのコンパイルを容易にするため、数値計算アプリケーションには必須ではないと考えられる特定の関数型言語機能（例えば、高階関数、ポリモーフィズム、遅延評価など）は、SACでは（今のところ）サポートされていません。これらの機能は、 Haskell、Clean、Miranda、MLなどの汎用関数型言語ではサポートされています。

数値計算や配列を多用するアプリケーション向けに設計された他の関数型言語や配列ベースの言語（例：SISAL、NESL、Nial、APL、J、K）で発生する受け入れ上の問題を克服するために、 CやFortranのようなプログラミング環境からSACへの移行を容易にすることに特に重点が置かれています。

より詳細に言うと、SACの基本的な言語設計目標は以下のとおりです。

• プログラマーの大規模なコミュニティが命令型プログラミングから関数型プログラミングへの移行を容易にするために、C言語と非常によく似た構文を持つ純粋関数型言語を提供する。
• 多次元配列を第一級オブジェクトとしてサポートする。
• 形状および次元に依存しない配列操作の指定を可能にする。
• 配列走査の開始、停止、およびストライドの面倒でエラーが発生しやすい仕様からプログラミングを解放する高レベルの配列操作を提供することで、コードの再利用性とプログラミングの生産性全般を向上させます。
• 個別のコンパイル、個別の名前空間、および抽象データ型を可能にするモジュールシステムを組み込み、さらに、既存コードの再利用を可能にするために外国語へのインターフェースを提供する。
• 一意性タイプに基づいて、状態および状態変更を機能パラダイムにスムーズに統合するための手段を提供する。
• モジュールシステム、外国語インターフェース、および状態の統合を利用して、強力な入出力機能や数学関数など、標準Cライブラリと同様の機能を提供する標準ライブラリを作成する。
• 時間と空間の両面で効率的に実行可能なホストマシンコードへのコンパイルを容易にする。
• マルチプロセッサ環境における非逐次プログラム実行のためのコンパイルを容易にする。

• ショルツ、スヴェン・ボド (1996)。単一の割り当て C – Entwurf Und Implementierung Einer Funktionalen C-variante Mit Spezieller Unterstützung Shape-in​​varianter Array-operationen [単一の割り当て C – 形状不変配列演算の特別サポートを備えた関数型 C バリアントの設計と実装] (博士論文) (ドイツ語)。キール、ドイツ: キールのクリスチャン アルブレヒト大学コンピューター サイエンスおよび応用数学研究所。
• Grelck, Clemens (2001).関数型プログラミング言語 SaC – シングルアサインメント C のための暗黙的共有メモリマルチプロセッササポート(博士論文). キール、ドイツ: キール大学コンピュータ科学・応用数学研究所. ISBN 3-89722-719-3。{{cite thesis}}: CS1メンテナンス: ISBNエラーを無視しました (リンク)

• 公式サイト