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.

( 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
Saint Andrews Static Language
Single Connection Attach
Single Connector Attachment
Single Data Rate Random Access Memory
Single Data Rate Synchronous Dynamic Random Access