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)].



< Previous Terms Terms Containing Single ASsignment Language Next Terms >
Sinclair PC200
Sinclair Radionics
Sinclair Research
sine wave
single assignment
LAPSE
Saint Andrews Static Language
SAL
SASL
SISAL
single-attached
Single Connection Attach
Single Connector Attachment
Single Data Rate Random Access Memory
Single Data Rate Synchronous Dynamic Random Access