SASL (programming language)

From Infogalactic: the planetary knowledge core
(Redirected from SASL programming language)
Jump to: navigation, search
SASL
Paradigm functional
Designed by David Turner
First appeared 1972
Website {{#property:P856}}
Influenced by
ISWIM
Influenced
KRC, Miranda, Haskell

SASL (from 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 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]

External links

Notes

  1. Turner, An implementation of SASL
  2. Turner , A New Implementation Technique for Applicative Languages, pages 31-49
  3. Lua error in package.lua at line 80: module 'strict' not found.

References

  • Lua error in package.lua at line 80: module 'strict' not found.
  • Lua error in package.lua at line 80: module 'strict' not found.

See also


<templatestyles src="Asbox/styles.css"></templatestyles>