Table des matières:
Définition - Que signifie le 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 informatique avec notation de préfixe entre parenthèses.
Techopedia explique Standard ML (SML)
En tant que variante successive du méta-langage, le méta-langage standard est un langage de programmation modulaire. Il a compilé la vérification de type de temps et l'inférence de type. Certains experts disent qu'il a des caractéristiques «impures» en termes de la 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 logiciels. Ils peuvent l'utiliser pour coder des systèmes de code natifs qui s'exécutent sur une variété de systèmes d'exploitation. Cependant, certains diraient que le ML standard n'est pas un type particulier de logiciel de niche, mais juste une sorte de langage de programmation complet pour une utilisation 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.
