A SASL egy teljesen működőképes programozási nyelv , amelyet David Turner fejlesztett ki a St. Andrews - i Egyetemen 1972 -ben, és az ISWIM egy alkalmazási részhalmazán alapul . 1976- ban Turner nem szigorú nyelvvé alakította át . Ebben a formában a SASL lett Turner későbbi nyelveinek, a KRC -nek és a Mirandának az alapja , bár úgy tűnik, hogy a SASL nem volt tipizálva , és a Miranda polimorfizmust mutat .