Designed byDavid Turner
First appeared1972; 51 years ago (1972)
Influenced by
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]


  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).