Standard ML
langage de programmation informatique
From Wikipedia, the free encyclopedia
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.
Cet article est une ébauche concernant l’informatique.
Date de première version
DialectesAlice, Dependent ML
| Standard ML | |
| Date de première version | |
|---|---|
| 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 |
| Site web | smlfamily.github.io |
| Extension de fichier | sml |
modifier  |
|
SML descend directement du langage ML.
Il existe de nombreuses implémentations de SML, dont le Standard ML of New Jersey, Concurrent ML, MLton, MLWorks, Moscow ML et Poly/ML.
