SASL语言

SASL
编程范型	纯函数式
设计者	David Turner（英语：David Turner (computer scientist)）
发行时间	1972年，52年前
启发语言
	ISWIM
影响语言
	KRC, Miranda, Haskell

SASL（缩写的St Andrews Static Language，或者St Andrews Standard Language，义为圣安德鲁斯静态语言或标准语言），是纯函数式编程语言，在1972年由David Turner（英语：David Turner (computer scientist)）于圣安德鲁斯大学，基于ISWIM的应用式子集而开发^[1]。在1976年，Turner重新设计并重新实现它为非严格（惰性）语言^[2]。它以这种形式成为了Turner以后的语言KRC和Miranda的基础，但是SASL表现为无类型的，而Miranda有多态类型。

Burroughs公司（英语：Burroughs Corporation）使用SASL来书写编译器和操作系统^[3]。

引用

^ Turner, D.A. An Implementation of SASL. University of St. Andrews, Department of Computer Science Technical Report.
^ D.A. Turner. A New Implementation Technique for Applicative Languages (PDF). [2021-09-06]. （原始内容 (PDF)存档于2021-09-06）.
^ Turner, D. A. Some History of Functional Programming Languages (PDF). [2020-04-25]. （原始内容存档 (PDF)于2020-04-15）.

外部链接

The SASL Language Manual （页面存档备份，存于互联网档案馆）

这是一篇关于计算机程序语言的小作品。您可以通过编辑或修订扩充其内容。

[1] Turner, D.A. An Implementation of SASL. University of St. Andrews, Department of Computer Science Technical Report.

[2] D.A. Turner. A New Implementation Technique for Applicative Languages (PDF). [2021-09-06]. （原始内容 (PDF)存档于2021-09-06）.

[3] Turner, D. A. Some History of Functional Programming Languages (PDF). [2020-04-25]. （原始内容存档 (PDF)于2020-04-15）.

[1]

[2]

[3]