Définition - Que signifie Standard ML (SML)?
Standard ML (SML) est une version plus récente du «Meta Language» ou langage de programmation ML développé dans les années 1970. ML a ses racines dans LISP, qui fait partie d'une famille de langages de programmation informatiques avec une notation de préfixe entre parenthèses.
Definir Tech explique Standard ML (SML)
En tant que variante successive du Meta Language, le Standard Meta Language est un langage de programmation modulaire. Il a une vérification de type au moment de la compilation et une inférence de type. Certains experts disent qu'il a des caractéristiques «impures» en termes de façon dont les expressions sont évaluées et autour de l'utilisation de diverses instructions ou commandes.
Le ML standard est un langage à usage général. Les gens l'utilisent actuellement pour créer des produits logiciels. Ils peuvent l'utiliser pour coder des systèmes de code natifs qui s'exécutent sur divers systèmes d'exploitation. Cependant, certains diront que le ML standard n'est pas un type particulier de logiciel de niche, mais juste une sorte de langage de programmation complet à utiliser dans les systèmes hérités ou dans la migration vers des systèmes plus modernes. Par exemple, quelqu'un peut utiliser Standard ML avec C ou C # pour coder ou mettre à jour un produit logiciel.