Ce texte présente brièvement une réflexion sur les langages de programmation et plus particulièrement sur l’apport des types. Ces quelques lignes n’ont pas la prétention de constituer un état de l’art du domaine mais sont le fruit d’un long intêret pour la notion de type de la part d’un enseignant-chercheur dont les activités de recherche et d’enseignement sont, depuis ses débuts, tournées vers la programmation, le typage,la sémantique et la preuve.
[...]