Worldlex Wiki SASL ( St Andrews Static Language , ou St Andrews Standard Language ) est un langage de programmation purement fonctionnel développé par David Turner à l' Université de St Andrews en 1972, basé sur le sous-ensemble applicatif d' ISWIM . En 1976, Turner l'a repensé et réimplémenté en tant que langage non strict (paresseux). Sous cette forme, il a été le fondement des langages ultérieurs de Turner, Kent Recursive Calculator (KRC) et Miranda , mais SASL semble être non typé alors que Miranda a des types polymorphes .
Burroughs Corporation a utilisé SASL pour écrire un compilateur et un système d'exploitation.
Remarques
- Turner, DA « Une implémentation de SASL ». Université de St. Andrews, Département d'informatique Rapport technique . TR/75/4.
- Turner, DA (1979). « Une nouvelle technique d'implémentation pour les langages applicatifs ». Logiciels : pratique et expérience . 9 : 31– 49. doi : 10.1002/spe.4380090105. S2CID 40541269.