Editing SASL (programming language) (section)

{{Short description|Purely functional programming language}}
{{Infobox programming language
| name                   = SASL
| logo                   = 
| paradigm               = [[Functional programming|functional]]
| year                   = {{Start date and age|1972}}
| designer               = [[David Turner (computer scientist)|David Turner]]
| developer              = 
| latest_release_version = 
| latest_release_date    = 
| latest_test_version    = 
| latest_test_date       = 
| typing                 = 
| implementations        = 
| dialects               = 
| influenced_by          = [[ISWIM]]
| influenced             = [[Kent Recursive Calculator|KRC]], [[Miranda (programming language)|Miranda]], [[Haskell]] 
| operating_system       =
| license                =
| website                =
}}

'''SASL''' ('''St Andrews Static Language''', alternatively  '''St Andrews Standard Language''') is a [[purely functional programming|purely functional programming language]] developed by [[David Turner (computer scientist)|David Turner]] at the [[University of St Andrews]] in 1972, based on the applicative subset of [[ISWIM]].<ref>Turner, An implementation of SASL</ref>  In 1976 Turner redesigned and reimplemented it as a non-strict (lazy) language.<ref>Turner, A New Implementation Technique for Applicative Languages, pages 31-49</ref>  In this form it was the foundation of Turner's later languages [[Kent Recursive Calculator]] (KRC) and [[Miranda (programming language)|Miranda]], but SASL appears to be [[data type|untyped]] whereas Miranda has [[polymorphic typing|polymorphic types]].

[[Burroughs Corporation]] used SASL to write a compiler and operating system.<ref>{{cite web|last1=Turner|first1=D. A.|title=Some History of Functional Programming Languages|url=https://www.cs.kent.ac.uk/people/staff/dat/tfp12/tfp12.pdf}}</ref>