SASL — чисто функциональный язык программирования, разработанный Дэвидом Тэрнером (David Turner) в ”University of St. Andrews” в 1972-ом году, на базе аппликативного подмножества ISWIM. В 1976 Тэрнер перепроектировал его как нестрогий (ленивый) язык. В этой форме SASL стал базой для поздних языков Тэрнера — KRC и Miranda, хотя SASL, по видимому, был бестиповым, а в Miranda наблюдается полиморфизм.