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.
Program ...
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. 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.
Notes
External links
The SASL Language Manual
References
*
*
Academic programming languages
Functional languages
History of computing in the United Kingdom
{{compu-lang-stub