SML
Fra Wikipedia, den frie encyklopædi
Standard ML (SML) er et stærkt typet funktionsorienteret programmeringssprog. Der er tale om en speciel dialekt af Meta Language brugt i Edinburgh LCF. Det blev udviklet i 1980'erne, standardiseret i 1990 og slutteligt 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.
Der findes en række oversættere fra SML til udførlig kode, 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 eller en SMLserver .
En række danskere har bidraget direkte i udviklingen af sproget og flere implementationer deraf. Specielt Mads Tofte, Lars Birkedal, Peter Sestoft og Martin Elsman kan nævnes i denne forbindelse.
[redigér] Eksterne henvisninger
- Hvad er SML? (engelsk)
- Hvad er SML '97? (engelsk)
| Denne it-artikel er kun påbegyndt. Hvis du ved mere om emnet, kan du hjælpe Wikipedia ved at udvide den. |

