Jump to content

SASL (programming language)

From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Lightbot (talk | contribs) at 03:29, 9 November 2008 (Date audit per mosnum/overlink/Other). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
SASL
Paradigmfunctional
Designed byDavid Turner
First appeared1972
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.

Notes

  1. ^ Turner, An implementation of SASL
  2. ^ Turner , A New Implementation Technique for Applicative Languages, pages 31-49

References

  • Turner, D.A. "An Implementation of SASL". University of St. Andrews, Department of Computer Science Technical Report. TR/75/4.
  • Turner, D.A. (1979). "A New Implementation Technique for Applicative Languages". Software - Practice and Experience. 9.

See also

Stub icon

This programming-language-related article is a stub. You can help Wikipedia by expanding it.

Retrieved from "https://en.wikipedia.org/w/index.php?title=SASL_(programming_language)&oldid=250571002"