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