SASL (St Andrews Static Language, alternatively St Andrews Standard Language) is a
purely functional programming language
In computer science, purely functional programming usually designates a programming paradigm—a style of building the structure and elements of computer programs—that treats all computation as the evaluation of mathematical functions.
Program s ...
developed by
David Turner at the
University of St Andrews
The University of St Andrews (, ; abbreviated as St And in post-nominals) is a public university in St Andrews, Scotland. It is the List of oldest universities in continuous operation, oldest of the four ancient universities of Scotland and, f ...
in 1972, based on the applicative subset of
ISWIM
ISWIM (If You See What I Mean) is an abstract computer programming language (or a family of languages) devised by Peter Landin and first described in his article "The Next 700 Programming Languages", published in the ''Communications of the ACM ...
. 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
Kent Recursive Calculator
KRC (Kent Recursive Calculator) is a lazy functional language developed by David Turner from November 1979 to October 1981 based on SASL, with pattern matching, guards and ZF expressions (now more usually called list comprehensions). Two i ...
(KRC) and
Miranda, but SASL appears to be
untyped whereas Miranda has
polymorphic types.
Burroughs Corporation
The Burroughs Corporation was a major American manufacturer of business equipment. The company was founded in 1886 as the American Arithmometer Company by William Seward Burroughs I, William Seward Burroughs. The company's history paralleled many ...
used SASL to write a compiler and operating system.
Notes
References
*
*
External links
The SASL Language Manual
Academic programming languages
Functional languages
History of computing in the United Kingdom
Programming languages created in 1972
{{compu-lang-stub