ML Estàndard
llenguatge de programació / From Wikipedia, the free encyclopedia
L'ML Estàndard, conegut per les sigles SML, de l'anglès Standard ML, és un llenguatge de programació funcional per a aplicacions de tota mena, amb comprovació de tipus en temps de compilació, i inferència de tipus.
Dades ràpides Tipus, Data de creació ...
Tipus | dialect (en) , llenguatge de programació procedural, llenguatge interpretat i llenguatge de programació funcional |
---|---|
Data de creació | 1983 |
Paradigma de programació | programació procedimental, llenguatge imperatiu, programació modular i programació funcional |
Dialecte de | ML |
Influenciat per | ML |
Extensió dels fitxers | sml |
Etiqueta d'Stack Exchange | Etiqueta |
Pàgina web | smlfamily.github.io |
Tanca
És popular entre desenvolupadors de compiladors, i investigadors de llenguatges de programació, així com demostradors de teoremes.
SML és un descendent modern del llenguatge de programació ML emprat en el projecte de demostració de teoremes "Lògica per a funcions computables".
Es distingeix entre altres llenguatges de programació en què té una especificació formal i semàntica operacional proposades a "La Definició de Standard ML (1990)" i revisada i simplificada en l'edició de 1997.