SML

sg. np. m.

[langage]  1.

Standard ML. Unification des différents dialectes de ML réalisée par R. Milner vers 1984, en y ajoutant au passage quelques caractéristiques pratiques, comme les type de données récursifs et les modules, entre autres. C'est un langage principalement fonctionnel, saupoudré d'impératif (faut bien faire quelque chose d'utile de temps en temps...).

Cette unification bien pratique fut implémentée sous plusieurs formes : SML/NJ, SML#, Edinburgh SML, Moscow SML, POPLOG ML, Poly/ML, ANU ML, Micro ML, sml2c... (Source : la lang-list).

 2.

Small Machine Language. Variante temps réel d'ALGOL, par un certain Barnes en 1969. Son successeur fut RTL.