Was (wer) ist St Andrews Static Language - definition
PURELY FUNCTIONAL PROGRAMMING LANGUAGE
SASL programming language
St Andrews Static 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 "St Andrews Standard 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) ].
(2007-03-21)
SASL (programming language)
SASL (from St Andrews Static Language, alternatively St Andrews Standard Language) is a purely functional programming language developed by David Turner at the University of St Andrews in 1972, based on the applicative subset of ISWIM.Turner, An implementation of SASL In 1976 Turner redesigned and reimplemented it as a non-strict (lazy) language.
Presteigne St. Andrews F.C.
ASSOCIATION FOOTBALL CLUB IN WALES
Presteigne St Andrews FC; Presteigne St. Andrews F C; Presteigne St. Andrews F. C.; Presteigne St. Andrews FC; Presteigne St Andrews F.C.; Prestiegne St. Andrews F.C.
Presteigne St. Andrews Football Club are a Welsh football club from Presteigne, Powys, who play in the Mid Wales South League.
Wikipedia
SASL (programming language)
SASL (from St Andrews Static Language, alternatively St Andrews Standard Language) is a purely functional programming language developed by David Turner at the University of St Andrews in 1972, based on the applicative subset of ISWIM. In 1976 Turner redesigned and reimplemented it as a non-strict (lazy) language. In this form it was the foundation of Turner's later languages KRC and Miranda, but SASL appears to be untyped whereas Miranda has polymorphic types.
Burroughs Corporation used SASL to write a compiler and operating system.
