Introduction
	n ML est un langage fonctionnel a portee locale comme le Scheme. n Neanmoins, 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.