SASL (programmeringssprog) - SASL (programming language)

SASL
Paradigme funktionel
Designet af David Turner
Først dukkede op 1972
Påvirket af
JEG SVØMMER
Påvirket
KRC , Miranda , Haskell

SASL (fra S t Et ndrews S Tatic L anguage alternativt S t Et ndrews S tandard L anguage) er et rent funktionelt programmeringssprog udviklet af David Turner University of St Andrews i 1972, baseret på den applikativ delmængde af ISWIM . I 1976 redesignede Turner det og genimplementerede det som et ikke-strengt (doven) sprog. I denne form var det grundlaget for Turners senere sprog KRC og Miranda , men SASL ser ud til at være utypet, mens Miranda har polymorfe typer.

Burroughs Corporation brugte SASL til at skrive en kompilator og et operativsystem.

Bemærkninger

  1. ^ Turner, en implementering af SASL
  2. ^ Turner, en ny implementeringsteknik for anvendelige sprog, side 31-49
  3. ^ Turner, DA "Nogle historier om funktionelle programmeringssprog" (PDF) .

eksterne links

Referencer

  • Turner, DA "En implementering af SASL". University of St. Andrews, Afdelingen for datalogisk teknisk rapport . TR / 75/4.
  • Turner, DA (1979). "En ny implementeringsteknik for anvendelige sprog". Software - Øvelse og erfaring . 9 : 31–49. doi : 10.1002 / spe.4380090105 . S2CID   40541269 .