SASL (lenguaje de programación)

SASL ( St Andrews Static Language , también conocido como St Andrews Standard Language ) es un lenguaje de programación puramente funcional desarrollado por David Turner en la Universidad de St Andrews en 1972, basado en el subconjunto aplicativo de ISWIM . ^{[ 1 ]} En 1976, Turner lo rediseñó y reimplementó como un lenguaje no estricto (perezoso). ^{[ 2 ]} En esta forma, fue la base de los lenguajes posteriores de Turner, Kent Recursive Calculator (KRC) y Miranda , pero SASL parece ser sin tipado , mientras que Miranda tiene tipos polimórficos .

Burroughs Corporation utilizó SASL para escribir un compilador y un sistema operativo. ^{[ 3 ]}

• Turner, DA "Una implementación de SASL". Universidad de St. Andrews, Departamento de Ciencias de la Computación, Informe Técnico . TR/75/4.
• Turner, DA (1979). "Una nueva técnica de implementación para lenguajes aplicativos". Software: Practice and Experience . 9 : 31–49 . doi : 10.1002/spe.4380090105 . S2CID 40541269 . 

• Manual del idioma SASL