SASL语言

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

使用SASL来书写编译器和操作系统。

样例代码
rec fac n = n 1;
n * fac (n-1)
in fac 10

let ((a,b),(c,d)) = x in ((a,c),(b,d))

length () = 0
length (a:x) = 1 + length x

ack 0 n = n+1
ack m 0 = ack (m-1) 1
ack m n = ack (m-1) (ack m (n-1))

taut f = logical f -> f;
taut (f True) & taut (f False)

引用
外部链接

• [https://docplayer.fi/212992319-S-a-s-l-l-a-n-g-u-a-g-e-m-a-n-u-a-l-d-a-turner.html The SASL Language Manual]