St Andrews Static Language

Computing Dictionary

St Andrews Static Language definition

(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.
( See also Kamin's interpreters.
["A New Implementation Technique for Applicative Languages", D.A. Turner, Soft Prac & Exp 8:31-49 (1979)].
The Free On-line Dictionary of Computing, © Denis Howe 2010
Cite This Source
Previous Definition: st andrews cross
Next Definition: st andrews's cross
More from
Synonyms and Antonyms for st andrews static language
More from
Search for articles containing st andrews static language Word FAQs presents 366 FAQs, incorporating some of the frequently asked questions from the past with newer queries.

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