SASL (from 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.
Progra ...
developed by
David Turner at the
University of St Andrews
(Aien aristeuein)
, motto_lang = grc
, mottoeng = Ever to ExcelorEver to be the Best
, established =
, type = Public research university
Ancient university
, endowment ...
in 1972, based on the applicative subset of
ISWIM
ISWIM (acronym for 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 o ...
. 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
The Burroughs Corporation was a major American manufacturer of business equipment. The company was founded in 1886 as the American Arithmometer Company. In 1986, it merged with Sperry UNIVAC to form Unisys. The company's history paralleled many ...
used SASL to write a compiler and operating system.
Notes
External links
The SASL Language Manual
References
*
*
Academic programming languages
Functional languages
History of computing in the United Kingdom
{{compu-lang-stub