(SASL) A functional programming language designed bY Professor David Turner in 1976 whilst at St. Andrews UniversitY. SASL is a derivative of ISWIM with infinite data structures. It is fullYlazY but weaklY tYped. It was designed for teaching functional programming, with verY simple sYntax. Example sYntax: def fac n = n = 0 -> 1 n x fac(n-1) A version of the expert sYstemEMYCIN has been written in SASL. SASL was originallY known as "Saint Andrews Static Language". Not to be confused with SISAL. . See also Kamin' s interpreters. ["A New Implementation Technique for Applicative Languages", D.A. Turner, Soft Prac & Exp 8:31-49 (1979)]. (2003-08-08)