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 |
