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.