SASL (St Andrews Static Language, alternativelySt Andrews Standard Language) is apurely functional programming language developed byDavid Turner at theUniversity of St Andrews in 1972, based on the applicative subset ofISWIM.^[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 languagesKent Recursive Calculator (KRC) andMiranda, but SASL appears to beuntyped whereas Miranda haspolymorphic types.

Burroughs Corporation used SASL to write a compiler and operating system.^[3]

• 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:31–49.doi:10.1002/spe.4380090105.S2CID 40541269.

• The SASL Language Manual

Thisprogramming-language-related article is astub. You can help Wikipedia byadding missing information.

• v
• t
• e

• Academic programming languages
• Functional languages
• History of computing in the United Kingdom
• Programming languages created in 1972
• Programming language topic stubs

• Articles with short description
• Short description matches Wikidata
• CS1: long volume value
• All stub articles