2
Introduction
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.