SASL (programming language)

SASL
Paradigm functional
Designed by David Turner
First appeared 1972
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. Turner, D. A. "Some History of Functional Programming Languages" (PDF).

References


This article is issued from Wikipedia - version of the Sunday, April 24, 2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.