SASL (programmeringsspråk)
| Paradigm | funktionell |
|---|---|
| Designad av | David Turner |
| Dök först upp | 1972 |
| Influerad av | |
| ISWIM | |
| Influenced | |
| KRC , Miranda , Haskell | |
SASL (från S t A ndrews Static L anguage, alternativt S t A ndrews S tandard L anguage) är ett rent funktionellt programmeringsspråk utvecklat av David Turner vid University of St Andrews 1972, baserat på den applikativa delmängden av ISWIM . 1976 gjorde Turner om och omimplementerade det som ett icke-strikt (lat) språk. I denna form var det grunden för Turners senare språk KRC och Miranda , men SASL verkar vara otypat medan Miranda har polymorfa typer.
Burroughs Corporation använde SASL för att skriva en kompilator och ett operativsystem.
Anteckningar
- ^ Turner, en implementering av SASL
- ^ Turner, en ny implementeringsteknik för applikativa språk, sidorna 31-49
- ^ Turner, DA "Någon historia av funktionella programmeringsspråk" (PDF) .
- Turner, DA "En implementering av SASL". University of St. Andrews, Institutionen för datavetenskap teknisk rapport . TR/75/4.
- Turner, DA (1979). "En ny implementeringsteknik för applikativa språk". Programvara: Övning och erfarenhet . 9 :31–49. doi : 10.1002/spe.4380090105 . S2CID 40541269 .
Listor: 