next up previous contents index
suivant: Lisp monter: Description brève de certains précédent: Java   Table des matières   Index

ML

Le langage ML est un langage fonctionnel qui est statiquement mais implicitement typé. La gestion de la mémoire est automatique. Grâce au typage statique mais implicite, il est possible d'écrire des compilateurs dont le code généré est très efficace sans que le programmeur soit obligé de déclarer le type des variables.