Accueil🇫🇷Chercher

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.