Taula de continguts:
Definició: què significa Standard ML (SML)?
Standard ML (SML) és una versió més recent del "Meta Language" o llenguatge de programació ML desenvolupat a la dècada de 1970. ML té les arrels a LISP, que és una de les famílies de llenguatges de programació informàtica amb notació de prefix entre parèntesis.
Techopedia explica Standard ML (SML)
Com a variant successiva de Meta Language, Standard Meta Language és un llenguatge de programació modular. Disposa de comprovació de tipus de temps i d’inferència de tipus. Alguns experts diuen que té algunes característiques “impures” quant a com s’avaluen les expressions i al voltant de l’ús de diverses declaracions o ordres.
La ML estàndard és un llenguatge d'ús general. Actualment, la gent l'utilitza per crear productes de programari. Poden utilitzar-lo per codificar sistemes de codi natius que s’executen en diversos sistemes operatius. Tanmateix, alguns dirien que la ML estàndard no és un tipus particular de programari nínxol, sinó només una mena de llenguatge de programació ben arrodonit per utilitzar-lo en sistemes antics o en migració a sistemes més moderns. Per exemple, algú pot utilitzar Standard ML juntament amb C o C # per codificar o actualitzar un producte de programari.
