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	1983
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.

Liens externes

• (en) Site officiel
• Notices d'autorité :

  • GND

• Portail de la programmation informatique