SASL(缩写的St Andrews Static Language,或者St Andrews Standard Language,义为圣安德鲁斯静态语言或标准语言),是纯函数式编程语言,在1972年由David Turner(英语:David Turner (computer scientist))于圣安德鲁斯大学,基于ISWIM的应用式子集而开发。在1976年,Turner重新设计并重新实现它为非严格(惰性)语言。它以这种形式成为了Turner以后的语言KRC和Miranda的基础,但是SASL表现为无类型的,而Miranda有多态类型。
Burroughs公司(英语:Burroughs Corporation)使用SASL来书写编译器和操作系统。