SASL (de S T A ndrews S Tatic L anguage, alternativamente S T A ndrews S stándar L anguage) 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] De esta forma fue la base de los idiomas posteriores de Turner, KRC y Miranda., pero SASL parece no tener tipo, mientras que Miranda tiene tipos polimórficos.
Paradigma | funcional |
---|---|
Diseñada por | David Turner |
Apareció por primera vez | 1972 |
Influenciado por | |
YO NADO | |
Influenciado | |
KRC , Miranda , Haskell |
Burroughs Corporation utilizó SASL para escribir un compilador y un sistema operativo. [3]
Notas
- ^ Turner, una implementación de SASL
- ^ Turner, Una nueva técnica de implementación para lenguajes aplicativos, páginas 31-49
- ^ Turner, DA "Alguna historia de lenguajes de programación funcionales" (PDF) .
enlaces externos
Referencias
- Turner, DA "Una implementación de SASL". Universidad de St. Andrews, Informe técnico del Departamento de Ciencias de la Computación . TR / 75/4.
- Turner, DA (1979). "Una nueva técnica de implementación de lenguajes aplicativos". Software: práctica y experiencia . 9 : 31–49. doi : 10.1002 / spe.4380090105 . S2CID 40541269 .