SASL (programming language)
Purely functional programming language
From Wikipedia, the free encyclopedia
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.
| SASL | |
|---|---|
| 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]
