SML
Fra Wikipedia, den frie encyklopædi
Standard ML (SML) er et stærkt typet funktionsorienteret programmeringssprog.
SML er en speciel dialekt af metasproget (Meta Language) brugt i Edinburgh LCF. Sproget blev udviklet i firserne, standardiseret i 1990 og revideret i 1997.
SML er usædvanligt, idet det er klart defineret med en naturlig operationel semantik. Endvidere er det stærkt typet, således at et veltypet udtryk enten er en værdi eller kan reduceres yderligere.
Den nyeste udgave SML97 er udgivet af MIT press (The Definition of Standard ML (Revised)).
Der findes en række oversættere fra SML til udførelig kode (Comp.Lang.ML FAQ), hvoraf de største er Standard ML of New Jersey, MLton, Moscow ML og ML Kit.
SML kan også bruges til at generere dynamisk indhold på hjemmesider ved brug af ML Server Pages [1] eller SMLserver
En række danskere har bidraget direkte i udviklingen af sproget og flere implementationer deraf. Specielt Mads Tofte, Peter Sestoft og Martin Elsman.
![]() |
Denne artikel er kun påbegyndt. Hvis du ved mere om emnet, kan du hjælpe Wikipedia ved at udvide den. Du kan også give den en bedre beskrivelse. |