SASL (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.[1] In 1976 Turner redesigned and reimplemented it as a non-strict (lazy) language.[2] In this form it was the foundation of Turner's later languages Kent Recursive Calculator (KRC) and Miranda, but SASL appears to be untyped whereas Miranda has polymorphic types.
Paradigm | functional |
---|---|
Designed by | David Turner |
First appeared | 1972 |
Influenced by | |
ISWIM | |
Influenced | |
KRC, Miranda, Haskell |
Burroughs Corporation used SASL to write a compiler and operating system.[3]
Notes
edit- ^ Turner, An implementation of SASL
- ^ Turner, A New Implementation Technique for Applicative Languages, pages 31-49
- ^ Turner, D. A. "Some History of Functional Programming Languages" (PDF).
References
edit- Turner, D.A. "An Implementation of SASL". University of St. Andrews, Department of Computer Science Technical Report. TR/75/4.
- Turner, D.A. (1979). "A New Implementation Technique for Applicative Languages". Software: Practice and Experience. 9: 31–49. doi:10.1002/spe.4380090105. S2CID 40541269.
External links
edit