nML est un langage fonctionnel a portee locale comme le Scheme.
nNeanmoins, il differe du Scheme de facon significative:
–Il utilise des declaration de types, des inferences de types et il
est fortement type. Scheme, au contraire, n’utilise pratiquement pas de
types.
–Il utilise une syntaxe plus proche du Pascal et du C que du
Scheme.
–ML fait du traitement d’exception et il incorpore un module qui
permet l’implementation de types de donnees abstraites.