Standard ML
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.
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 |
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.
Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.