SASL (programming language)
From Wikipedia, the free encyclopedia
(Redirected from SASL programming language)
Page Module:Infobox/styles.css has no content.
| SASL | |
|---|---|
| Paradigm | functional |
| Designed by | David Turner |
| First appeared | 1972 |
| Template:Infobox software/simple | |
| Website | {{ |
| Influenced by | |
| ISWIM | |
| Influenced | |
| KRC, Miranda, Haskell | |
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.
Burroughs Corporation used SASL to write a compiler and operating system.[3]
Notes
- ^ Turner, An implementation of SASL
- ^ Turner, A New Implementation Technique for Applicative Languages, pages 31-49
- ^ Page Module:Citation/CS1/styles.css has no content.Turner, D. A. "Some History of Functional Programming Languages" (PDF).
References
- Page Module:Citation/CS1/styles.css has no content.Turner, D.A. "An Implementation of SASL". University of St. Andrews, Department of Computer Science Technical Report. TR/75/4.
- Page Module:Citation/CS1/styles.css has no content.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
Lua error in package.lua at line 80: module 'Module:Navbox/configuration' not found.
