SASL (programming language)

{{Short description|Purely functional programming language}}

{{Infobox programming language

| name = SASL

| logo =

| paradigm = functional

| year = {{Start date and age|1972}}

| designer = David Turner

| developer =

| latest_release_version =

| latest_release_date =

| latest_test_version =

| latest_test_date =

| typing =

| implementations =

| dialects =

| influenced_by = ISWIM

| influenced = KRC, Miranda, Haskell

| operating_system =

| license =

| website =

}}

SASL (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.Turner, An implementation of SASL In 1976 Turner redesigned and reimplemented it as a non-strict (lazy) language.Turner, A New Implementation Technique for Applicative Languages, pages 31-49 In this form it was the foundation of Turner's later languages Kent Recursive Calculator (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.{{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}}