SASL（プログラミング言語）

SASL（St Andrews Static Language、別名 St Andrews Standard Language）は、1972年にセント・アンドリュース大学のデイビッド・ターナーによって開発された、 ISWIMの適用サブセットに基づく純粋関数型プログラミング言語です。^{[ 1 ]} 1976年にターナーはこれを非厳格（遅延）言語として再設計および再実装しました。^{[ 2 ]}この形式で、これはターナーの後の言語であるKent Recursive Calculator（KRC）とMiranda の基礎となりましたが、SASLは型付けされていないのに対し、Mirandaは多相型を持っています。

Burroughs CorporationはSASLを使用してコンパイラとオペレーティングシステムを作成した。^{[ 3 ]}

• Turner, DA「SASLの実装」。セント・アンドリュース大学コンピュータサイエンス学科技術報告書。TR/75/4。
• Turner, DA (1979). "アプリケーション言語のための新しい実装技術". Software: Practice and Experience . 9 : 31–49 . doi : 10.1002/spe.4380090105 . S2CID 40541269 . 

• SASL言語マニュアル