Standard ML

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
image illustrant l’informatique
Cet article est une ébauche concernant l’informatique.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

Standard ML
Paradigme impératif, fonctionnel
Typage fort, statique
Dialectes Alice, Dependent ML
Influencé par ML (langage)
Implémentations MLton, MLWorks, Moscow ML, Poly/ML, SML/NJ

Standard ML (SML) est un langage de programmation généraliste, modulaire, fonctionnel. Il est doté d'un système de typage statique fort par inférence de types.

SML descend directement du langage ML.

Il existe de nombreuses implémentations de SML, dont le Standard ML of New Jersey, MLton, MLWorks, Moscow ML et Poly/ML.