SASL语言

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

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

引用

外部链接 
 The SASL Language Manual 

学术的编程语言
函数式编程语言