Bonjour,

Je suppose que j'ai un code qui représente un programme dans un langage fonctionnel de bas niveau. Ce programme est de type entier --> entier. (Bien sûr l'implémentation des entiers est connue).

Je me demande comment un compilateur peut vérifier automatiquement le type de ce code dans un cas général.