St Andrews Static Language

Computing Dictionary

St Andrews Static Language definition

language
(SASL) A functional programming language designed by Professor David Turner in 1976 whilst at St. Andrews University. SASL is a derivative of ISWIM with infinite data structures. It is fully lazy but weakly typed. It was designed for teaching functional programming, with very simple syntax.
Example syntax:
def fac n = n = 0 -> 1 ; n x fac(n-1)
A version of the expert system EMYCIN has been written in SASL.
SASL was originally known as "St Andrews Standard Language". Not to be confused with SISAL.
(ftp://a.cs.uiuc.edu/uiuc/kamin.distr/distr/sasl.p). See also Kamin's interpreters.
["A New Implementation Technique for Applicative Languages", D.A. Turner, Soft Prac & Exp 8:31-49 (1979)].
(2007-03-21)
The Free On-line Dictionary of Computing, © Denis Howe 2010 http://foldoc.org
Cite This Source
Explore Dictionary.com
Previous Definition: st andrews cross
Next Definition: st andrews's cross
More from Thesaurus.com
Synonyms and Antonyms for St Andrews Static Language
More from Reference.com
Search for articles containing St Andrews Static Language
Dictionary.com Word FAQs

Dictionary.com presents 366 FAQs, incorporating some of the frequently asked questions from the past with newer queries.

Copyright © 2014 Dictionary.com, LLC. All rights reserved.
  • Please Login or Sign Up to use the Recent Searches feature