SASL
Single ASsignment Language or Saint Andrews Static Language.
(Not to be confused with {SISAL}). A {functional programming}
language designed by Professor {David Turner} in 1976.
SASL is a derivative of {ISWIM} with infinite data
structures. It is fully {lazy} but weakly typed. It was
designed for teaching functional programming, with very simple
syntax. A version of the {expert system} {EMYCIN} has been
written in SASL.
Example syntax:
def fac n ◦
n ◦ 0 -> 1 ; n x fac(n-1)
{(ftp://a.cs.uiuc.edu/uiuc/kamin.distr/distr/sasl.p)}.
See also {Kamin's interpreters}.
["A New Implementation Technique for Applicative Languages",
D.A. Turner, Soft Prac & Exp 8:31-49 (1979)].