SASL är ett fullt fungerande programmeringsspråk utvecklat av David Turner vid University of St. Andrews 1972 , baserat på en applicerande delmängd av ISWIM . 1976 gjorde Turner om det till ett icke-strikt språk. I denna form blev SASL grunden för Turners senare språk, KRC och Miranda , även om SASL verkar ha varit otypat , och Miranda uppvisar polymorfism .