Loading article…
| パラダイム | 機能的な |
|---|---|
| デザイン： | デビッド・ターナー |
| 初登場 | 1972年 |
| 影響を受けた | |
| イスイム | |
| 影響を受けた | |
| KRC、ミランダ、ハスケル | |
SASL（セントアンドリュース静的言語、または セントアンドリュース標準言語）は、 1972年にセントアンドリュース大学のデイビッド・ターナーによって開発された純粋に関数型のプログラミング言語であり、 ISWIMの応用サブセットに基づいています。[1] 1976年にターナーはこれを非厳密（遅延）言語として再設計し、再実装しました。[2]この形式は、ターナーの後の言語であるケント再帰計算機（KRC）とミランダ の基礎となりましたが、SASLは型指定がないように見えますが、ミランダは多態的な型を持っています。
Burroughs CorporationはSASLを使用してコンパイラとオペレーティングシステムを作成しました。[3]
注記
- ^ Turner、SASL の実装
- ^ ターナー、「応用言語のための新しい実装手法」、31-49ページ
- ^ Turner, DA「関数型プログラミング言語の歴史」(PDF)。
参考文献
- Turner, DA「SASL の実装」。セントアンドリュース大学、コンピュータサイエンス学部技術レポート。TR/75/4。
- Turner, DA (1979)。 「応用言語の新しい実装テクニック」。ソフトウェア:実践と経験。9 : 31–49。doi :10.1002/spe.4380090105。S2CID 40541269。
外部リンク
- SASL 言語マニュアル