SML

Une définition du Jargon Français.
Aller à : Navigation, rechercher

Dr enus.png sigle, nom propre masculin.  [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...).

Att.png 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.