Single ASsignment Language
<language> (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 fully lazy 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 system EMYCIN has been written in SASL.
SASL was originally known as "Saint Andrews Static Language". Not to be confused
with SISAL.
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)].
(2003-08-08)
Nearby terms:
Sinclair Research « sine wave « single assignment «
Single ASsignment Language » single-attached »
Single Connection Attach » Single Connector
Attachment
|