SASL (programming language)

From Wikipedia, the free encyclopedia
Revision as of 03:04, 1 February 2024 by imported>BD2412 (clean up spacing around commas and other punctuation fixes, replaced: , → ,)
(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

Template:Short description Script error: No such module "Infobox".Template:Template otherScript error: No such module "Check for unknown parameters".

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

  1. ↑ Turner, An implementation of SASL
  2. ↑ Turner, A New Implementation Technique for Applicative Languages, pages 31-49
  3. ↑ Script error: No such module "citation/CS1".

References

  • Script error: No such module "Citation/CS1".
  • Script error: No such module "Citation/CS1".

External links

Template:Programming language


  1. REDIRECT Template:Prog-lang-stub

Template:R shell

Retrieved from "http://debianws.lexgopc.com/wiki143/index.php?title=SASL_(programming_language)&oldid=1021159"