SASL este un limbaj de programare complet funcțional dezvoltat de David Turner la Universitatea din St. Andrews în 1972 , bazat pe un subset aplicativ al ISWIM . În 1976, Turner a reproiectat-o ca un limbaj non-strict . În această formă, SASL a devenit baza pentru limbile ulterioare ale lui Turner, KRC și Miranda , deși SASL pare să fi fost netipizat , iar Miranda prezintă polimorfism .