SASL es un lenguaje de programación completamente funcional desarrollado por David Turner en la Universidad de St. Andrews en 1972 , basado en un subconjunto aplicativo de ISWIM . En 1976, Turner lo rediseñó como un lenguaje no estricto . De esta forma, SASL se convirtió en la base para los lenguajes posteriores de Turner, KRC y Miranda , aunque SASL parece no haber sido tipificado , y Miranda exhibe polimorfismo .